Algebraically coherent categories

MaRDI QIDQ3456348zbMATH OpenFDO

Authors Alan S. Cigoli, James Richard Andrew Gray, Tim Van der Linden

Publication date 14 December 2015

Full work available at URL https://arxiv.org/abs/1409.4219, http://www.emis.de/journals/TAC/volumes/30/54/30-54abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

semi-abelian categorycoherent functorcoherent category

Mathematics Subject Classification ID

Categories of algebras (08C05) Topoi (18B25) Special categories (18B99)

Abstract: We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give examples of categories satisfying this condition; for instance, coherent categories, categories of interest in the sense of Orzech, and (compact) Hausdorff algebras over a semi-abelian algebraically coherent theory. We study equivalent conditions in the context of semi-abelian categories, as well as some of its consequences: including amongst others, strong protomodularity, and normality of Higgins commutators for normal subobjects, and in the varietal case, fibre-wise algebraic cartesian closedness.

Recommendations

• Algebraic logoi
• Publication:3030989
• Toward a characterization of algebraic exactness.
• On some categorical-algebraic conditions in S-protomodular categories
• A characterisation of algebraic exactness

Cited in

(33)

• On stability of exactness properties under the pro-completion
• A comonadic interpretation of Baues-Ellis homology of crossed modules
• Central reflections and nilpotency in exact Mal'tsev categories
• On the capability of Hom-Lie algebras
• A semi-abelian extension of a theorem by Takeuchi
• Hall's criterion for nilpotence in semi-abelian categories
• A characterisation of Lie algebras using ideals and subalgebras
• Associativity and the cosmash product in operadic varieties of algebras
• Non-associative algebras
• Cohesive categories and manifolds
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• Abelian extensions and crossed modules of Hom-Lie algebras
• ESSENTIALLY ALGEBRAIC CATEGORIES
• A characterisation of Lie algebras via algebraic exponentiation
• An invitation to topological semi-abelian algebras
• Action representability of the category of internal groupoids
• On the categorical behaviour of \(V\)-groups
• On spans with right fibred right adjoints
• Compatible actions of Lie algebras
• An intrinsic approach to the non-abelian tensor product via internal crossed squares
• On the ``three subobjects lemma and its higher-order generalisations
• Algebras with representable representations
• Total Categories and Solid Functors
• A universal Kaluzhnin-Krasner embedding theorem
• scientific article; zbMATH DE number 7823992 (Why is no real title available?)
• Algebraic logoi
• A presentation of relative unitary Steinberg groups
• On the ternary commutator. I: Exact Mal'tsev categories
• Categories of algebraic sets
• On bornological semi-abelian algebras
• Universal central extensions of internal crossed modules via the non-abelian tensor product
• A characterisation of Lie algebras amongst anti-commutative algebras
• scientific article; zbMATH DE number 2006632 (Why is no real title available?)

This page was built for publication: Algebraically coherent categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3456348)