{"id":"arxiv/2607.23144","url":"https://arxiv.org/abs/2607.23144","tags":["math.CT","math.RA"],"score":0,"title":"Categorical Algebra of Atomic Monoids: Presentability, Regularity, and Pretorsion Theories","domain":"math.CT","source":"arxiv","authors":["Federico Campanini","Laura Cossu"],"reviews":0,"subject":"math.CT","summary":"We study the category $\\mathsf{AtoMon}$ of atomic monoids and atom-preserving homomorphisms. We prove that $\\mathsf{AtoMon}$ is locally finitely presentable by exhibiting a strong generator consisting of compact objects. We show that $\\mathsf{AtoMon}$ admits (regular epi, mono)-factorizations but that it is not a regular category: we construct a regular epimorphism which is not pullback-stable. We also establish adjunctions for the group of units and explicitly construct the ``cofree atomic monoid'' over an arbitrary monoid. Finally, we exhibit a way to lift torsion theories of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-25","reactions":{}}