Algebraically coherent categories

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.

33 pages; changes throughout the text

Cited by in corpus (9)

• A semi-abelian extension of a theorem by Takeuchi
• A characterisation of Lie algebras amongst anti-commutative algebras
• A characterisation of Lie algebras via algebraic exponentiation
• Algebras with representable representations
• On the "three subobjects lemma" and its higher-order generalisations
• Co-induced actions for topological and filtered groups
• The Category of Crossed Modules of Crossed Modules and Its Associated Double Groupoids
• Action representability of the category of internal groupoids
• On the capablility of Hom-Lie algebras