Heaps of modules: Categorical aspects
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912632768823296 |
|---|---|
| author | Breaz, Simion Brzezinski, Tomasz Rybolowicz, Bernard Saracco, Paolo |
| author_facet | Breaz, Simion Brzezinski, Tomasz Rybolowicz, Bernard Saracco, Paolo |
| contents | Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the category of modules over the ring R(T) universally associated to the truss. This is widely used in the explicit description of free objects. Next, it is proven that the category of heaps of modules over T is isomorphic to the category of affine modules over R(T) and, in order to make the picture complete, that (in the unital case) these are in turn equivalent to a specific subcategory of the slice category of pointed T-modules over R(T). These correspondences and properties are then used to describe explicitly various (co)limits and to compare short exact sequences in the Barr-exact category of heaps of T-modules with short exact sequences as defined previously. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_01979 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Heaps of modules: Categorical aspects Breaz, Simion Brzezinski, Tomasz Rybolowicz, Bernard Saracco, Paolo Rings and Algebras Category Theory 16D90, 16Y99, 08A99 Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the category of modules over the ring R(T) universally associated to the truss. This is widely used in the explicit description of free objects. Next, it is proven that the category of heaps of modules over T is isomorphic to the category of affine modules over R(T) and, in order to make the picture complete, that (in the unital case) these are in turn equivalent to a specific subcategory of the slice category of pointed T-modules over R(T). These correspondences and properties are then used to describe explicitly various (co)limits and to compare short exact sequences in the Barr-exact category of heaps of T-modules with short exact sequences as defined previously. |
| title | Heaps of modules: Categorical aspects |
| topic | Rings and Algebras Category Theory 16D90, 16Y99, 08A99 |
| url | https://arxiv.org/abs/2311.01979 |