Algebraic logoi
From MaRDI portal
Publication:6385877
DOI10.1016/J.JPAA.2022.107293arXiv2112.08829MaRDI QIDQ6385877FDOQ6385877
Alan S. Cigoli, Dominique Bourn, James Richard Andrew Gray, Tim Van der Linden
Publication date: 16 December 2021
Abstract: We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category is moreover well-powered with (small) joins, then the existence of split extension cores is equivalent to the condition that the change-of-base functors in the fibration of points are geometric. We call a finitely complete category that satisfies this condition an algebraic logos. We give examples of such categories, compare them with algebraically coherent ones, and study equivalent conditions as well as stability under common categorical operations.
Categories of algebras (08C05) Topoi (18B25) Commutator calculus (20F12) General nonassociative rings (17A99) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13)
This page was built for publication: Algebraic logoi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6385877)
