The concept of null in general spaces and contexts
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918253355335680 |
|---|---|
| author | Das, Suddhasattwa |
| author_facet | Das, Suddhasattwa |
| contents | The notions of null-sets and nullity are present in all discourses of mathematics. They are based on the dual-pair of notions of "almost-every" and "almost none". A notion of nullity corresponds to a choice of subsets that one interprets as null or empty. The rationale behind this choice depends on the context, such as Topology or Measure theory. One also expects that the morphisms or transformations within the contexts preserve the nullity structures. To formalize this idea a generalized notion of nullity is presented as a functor between categories. A constructive procedure is presented by which an existing notion of nullity can be extended functorially to categories with richer structure. Nullity is thus presented as an arbitrary construct, which can be extended to broader contexts using well defined rules. These rules are succinctly expressed by right and left Kan extensions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_00212 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The concept of null in general spaces and contexts Das, Suddhasattwa Category Theory 18D99, 18A25 The notions of null-sets and nullity are present in all discourses of mathematics. They are based on the dual-pair of notions of "almost-every" and "almost none". A notion of nullity corresponds to a choice of subsets that one interprets as null or empty. The rationale behind this choice depends on the context, such as Topology or Measure theory. One also expects that the morphisms or transformations within the contexts preserve the nullity structures. To formalize this idea a generalized notion of nullity is presented as a functor between categories. A constructive procedure is presented by which an existing notion of nullity can be extended functorially to categories with richer structure. Nullity is thus presented as an arbitrary construct, which can be extended to broader contexts using well defined rules. These rules are succinctly expressed by right and left Kan extensions. |
| title | The concept of null in general spaces and contexts |
| topic | Category Theory 18D99, 18A25 |
| url | https://arxiv.org/abs/2507.00212 |