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

coherent categorycoherent functorsemi-abelian 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

(39)

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

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)