Algebraic K$_0$ for unpointed Categories
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917741581041664 |
|---|---|
| author | Küng, Felix |
| author_facet | Küng, Felix |
| contents | We construct a natural generalization of the Grothendieck group $\mathrm{K}_0$ to the case of possibly unpointed categories admitting pushouts by using the concept of heaps recently introduced by Brezinzki. In case of a monoidal category, the defined $\mathrm{K}_0$ is shown to be a truss. It is shown that the construction generalizes the classical $\mathrm{K}_0$ of an abelian category as the group retract along the isomorphism class of the zero object. We finish by applying this construction to construct the integers with addition and multiplication as the decategorification of finite sets and show that in this $\mathrm{K}_0\left(\underline{\mathrm{Top}}\right)$ one can identify a CW-complex with the iterated product of its cells. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_14054 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Algebraic K$_0$ for unpointed Categories Küng, Felix K-Theory and Homology Group Theory Rings and Algebras 20N10, 16E20, 18F25, 18N25 We construct a natural generalization of the Grothendieck group $\mathrm{K}_0$ to the case of possibly unpointed categories admitting pushouts by using the concept of heaps recently introduced by Brezinzki. In case of a monoidal category, the defined $\mathrm{K}_0$ is shown to be a truss. It is shown that the construction generalizes the classical $\mathrm{K}_0$ of an abelian category as the group retract along the isomorphism class of the zero object. We finish by applying this construction to construct the integers with addition and multiplication as the decategorification of finite sets and show that in this $\mathrm{K}_0\left(\underline{\mathrm{Top}}\right)$ one can identify a CW-complex with the iterated product of its cells. |
| title | Algebraic K$_0$ for unpointed Categories |
| topic | K-Theory and Homology Group Theory Rings and Algebras 20N10, 16E20, 18F25, 18N25 |
| url | https://arxiv.org/abs/2305.14054 |