Nice exact categories are coexact
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_ | 1866911547574452224 |
|---|---|
| author | Gray, James Richard Andrew |
| author_facet | Gray, James Richard Andrew |
| contents | Several important types of categories have been shown to be both exact and coexact (in the sense of Barr). The first type consists of abelian categories, which due to their self-dual definition, can be seen to be both exact and coexact by Tierney's characterization of them as additive exact categories. The next type consists of elementary toposes which are well-known to be exact, but have also been shown to be coexact and coprotomodular by Bourn. In this paper we study a condition weaker than extensivity and equivalent to additivity for pointed categories. We show that for a finitely cocomplete category this condition together with exactness implies coexactness and coprotomodularity. As a special case we obtain that a finitely cocomplete pretopos is coexact. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_23413 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Nice exact categories are coexact Gray, James Richard Andrew Category Theory 18B99, 18B50, 18E05, 18E13, 18E08, 18B25 Several important types of categories have been shown to be both exact and coexact (in the sense of Barr). The first type consists of abelian categories, which due to their self-dual definition, can be seen to be both exact and coexact by Tierney's characterization of them as additive exact categories. The next type consists of elementary toposes which are well-known to be exact, but have also been shown to be coexact and coprotomodular by Bourn. In this paper we study a condition weaker than extensivity and equivalent to additivity for pointed categories. We show that for a finitely cocomplete category this condition together with exactness implies coexactness and coprotomodularity. As a special case we obtain that a finitely cocomplete pretopos is coexact. |
| title | Nice exact categories are coexact |
| topic | Category Theory 18B99, 18B50, 18E05, 18E13, 18E08, 18B25 |
| url | https://arxiv.org/abs/2506.23413 |