Geodesic
Heaps of modules: categorical aspects
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e166

Voir la notice de l'article provenant de la source Cambridge University Press

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 $\mathrm {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 $\mathrm {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 $\mathrm {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. 
Breaz, Simion; Brzeziński, Tomasz; Rybołowicz, Bernard; Saracco, Paolo. Heaps of modules: categorical aspects. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e166. doi: 10.1017/fms.2025.10109
@article{10_1017_fms_2025_10109,
     author = {Breaz, Simion and Brzezi\'nski, Tomasz and Rybo{\l}owicz, Bernard and Saracco, Paolo},
     title = {Heaps of modules: categorical aspects},
     journal = {Forum of Mathematics, Sigma},
     pages = {e166},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.10109},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10109/}
}
TY  - JOUR
AU  - Breaz, Simion
AU  - Brzeziński, Tomasz
AU  - Rybołowicz, Bernard
AU  - Saracco, Paolo
TI  - Heaps of modules: categorical aspects
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e166
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10109/
DO  - 10.1017/fms.2025.10109
ID  - 10_1017_fms_2025_10109
ER  - 
%0 Journal Article
%A Breaz, Simion
%A Brzeziński, Tomasz
%A Rybołowicz, Bernard
%A Saracco, Paolo
%T Heaps of modules: categorical aspects
%J Forum of Mathematics, Sigma
%D 2025
%P e166
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10109/
%R 10.1017/fms.2025.10109
%F 10_1017_fms_2025_10109

[1] Andruszkiewicz, R. R., Brzeziński, T. and Rybołowicz, B., ‘Ideal ring extensions and trusses’, J. Algebra 600 (2022), 237–278.10.1016/j.jalgebra.2022.01.038 Google Scholar | DOI

[2] Baer, R., ‘Zur Einführung des Scharbegriffs’, J. Reine Angew. Math. 160 (1929), 199–207.10.1515/crll.1929.160.199 Google Scholar | DOI

[3] Barr, M., ‘Exact categories’, in Exact Categories and Categories of Sheaves, Lecture Notes in Mathematics, vol. 236 (Springer, Berlin, 1971), 1–120.10.1007/BFb0058580 Google Scholar | DOI

[4] Borceux, F., Handbook of Categorical Algebra. 2. Categories and Structures, Encyclopedia of Mathematics and its Applications, vol. 51 (Cambridge Univ. Press, Cambridge, 1994).10.1017/CBO9780511525858 Google Scholar | DOI

[5] Borceux, F. and Bourn, D., Mal’cev, Protomodular, Homological and Semi-Abelian Categories, Mathematics and its Applications (Dordrecht), vol. 566 (Kluwer Acad. Publ., Dordrecht, 2004).10.1007/978-1-4020-1962-3 Google Scholar | DOI

[6] Breaz, S., Brzeziński, T., Rybołowicz, B. and Saracco, P., ‘Heaps of modules and affine spaces’, Ann. Mat. Pura Appl. 203 (2024), 403–445.10.1007/s10231-023-01369-0 Google Scholar | DOI

[7] Brzeziński, T., ‘Trusses: Between braces and rings’, Trans. Amer. Math. Soc. 372 (2019), 4149–4176.10.1090/tran/7705 Google Scholar | DOI

[8] Brzeziński, T., ‘Trusses: Paragons, ideals and modules’, J. Pure Appl. Algebra 224 (2020), 106258.10.1016/j.jpaa.2019.106258 Google Scholar | DOI

[9] Brzeziński, T. and Papworth, J., ‘Lie and Nijenhuis brackets on affine spaces’, Bull. Belg. Math. Soc. Simon Stevin 30 (2023), 683–704.10.36045/j.bbms.231013 Google Scholar | DOI

[10] Brzeziński, T. and Rybołowicz, B., ‘Modules over trusses vs modules over rings: direct sums and free modules’, Algebras Represent. Theory 25(2022), 1–23.10.1007/s10468-020-10008-8 Google Scholar | DOI

[11] Brzeziński, T., Rybołowicz, B. and Saracco, P., ‘On functors between categories of modules over trusses’, J. Pure Appl. Algebra 226 (2022), no. 11, Paper No. 107091, 46 pp.10.1016/j.jpaa.2022.107091 Google Scholar | DOI

[12] Dorroh, J. L., ‘Concerning adjunctions to algebras’, Bull. Amer. Math. Soc. 38 (1932), no. 2, 85–88.10.1090/S0002-9904-1932-05333-2 Google Scholar | DOI

[13] Grabowska, K., Grabowski, J. and Urbański, P., ‘Lie brackets on affine bundles’, Ann. Global Anal. Geom. 24 (2003), no. 2, 101–130.10.1023/A:1024457728027 Google Scholar | DOI

[14] Kroener, Ch.W., ‘On radical rings’, Rend. Sem. Mat. Univ. Padova 41 (1968), 261–275. Google Scholar

[15] Mac Lane, S., Categories for the Working Mathematician, 2nd edn. (Springer, New York, 1998). Google Scholar

[16] Ostermann, F. and Schmidt, J., ‘Der baryzentrische Kalkül als axiomatische Grundlage der affinen Geometrie’, J. Reine Angew. Math. 224 (1966), 44–57.10.1515/crll.1966.224.44 Google Scholar | DOI

[17] Prüfer, H., ‘Theorie der Abelschen Gruppen. I. Grundeigenschaften’, Math. Z. 20 (1924), 165–287.10.1007/BF01188079 Google Scholar | DOI

[18] Romanowska, A. B. and Smith, J. D. H., Modes (World Scientific Publ., River Edge, NJ, 2002).10.1142/4953 Google Scholar | DOI

[19] Suškevič, A. K., Theory of Generalized Groups (DNTVU, Kharkov–Kiev, 1937). Google Scholar

Cité par Sources :