Abelian objects in categories with normal projections
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910849692598272 |
|---|---|
| author | Hoefnagel, Michael Janelidze, Zurab |
| author_facet | Hoefnagel, Michael Janelidze, Zurab |
| contents | It is known that in (regular) unital and in subtractive categories, internal abelian groups are simply behaved; e.g., they are the same as internal algebras $(A,s)$ satisfying $s(x,0)=x$ and $s(x,x)=0$, i.e., \emph{subtraction algebras}. Moreover, in these categorical settings, such internal abelian group structures are unique, and every morphism between the underlying objects of internal abelian groups is necessarily a morphism of internal abelian groups. It is also known that both (regular) unital and subtractive categories have normal projections, i.e., the isomorphism formula $(X\times Y)/Y\approx X$ holds. In this paper, we show that all properties of simple behaviour of internal abelian groups in unital and subtractive categories lift to arbitrary categories having normal projections |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_20474 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Abelian objects in categories with normal projections Hoefnagel, Michael Janelidze, Zurab Category Theory Rings and Algebras 18E13, 18A30, 08B25, 08B05 It is known that in (regular) unital and in subtractive categories, internal abelian groups are simply behaved; e.g., they are the same as internal algebras $(A,s)$ satisfying $s(x,0)=x$ and $s(x,x)=0$, i.e., \emph{subtraction algebras}. Moreover, in these categorical settings, such internal abelian group structures are unique, and every morphism between the underlying objects of internal abelian groups is necessarily a morphism of internal abelian groups. It is also known that both (regular) unital and subtractive categories have normal projections, i.e., the isomorphism formula $(X\times Y)/Y\approx X$ holds. In this paper, we show that all properties of simple behaviour of internal abelian groups in unital and subtractive categories lift to arbitrary categories having normal projections |
| title | Abelian objects in categories with normal projections |
| topic | Category Theory Rings and Algebras 18E13, 18A30, 08B25, 08B05 |
| url | https://arxiv.org/abs/2502.20474 |