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)

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

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)