On extensivity of morphisms
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915158050209792 |
|---|---|
| author | Hoefnagel, Michael Theart, Emma |
| author_facet | Hoefnagel, Michael Theart, Emma |
| contents | Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a property of morphisms in a category. This paper explores this point of view through a natural notion of extensive and coextensive morphism. Through these notions, topics in universal algebra, such as the strict refinement and Fraser-Horn properties, take categorical form and thereby enjoy the benefits of categorical generalisation. On the other hand, the universal algebraic theory surrounding these topics inspire categorical results. One such result we establish in this paper is that a Barr-exact category is coextensive if and only if every split monomorphism in the category is coextensive. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_12695 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On extensivity of morphisms Hoefnagel, Michael Theart, Emma Category Theory Rings and Algebras 18B50, 18A20, 18A30, 08B25 Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a property of morphisms in a category. This paper explores this point of view through a natural notion of extensive and coextensive morphism. Through these notions, topics in universal algebra, such as the strict refinement and Fraser-Horn properties, take categorical form and thereby enjoy the benefits of categorical generalisation. On the other hand, the universal algebraic theory surrounding these topics inspire categorical results. One such result we establish in this paper is that a Barr-exact category is coextensive if and only if every split monomorphism in the category is coextensive. |
| title | On extensivity of morphisms |
| topic | Category Theory Rings and Algebras 18B50, 18A20, 18A30, 08B25 |
| url | https://arxiv.org/abs/2502.12695 |