Algebraically coherent categories
From MaRDI portal
Publication:3456348
zbMATH Open1366.18005arXiv1409.4219MaRDI QIDQ3456348FDOQ3456348
Authors: Alan S. Cigoli, James Richard Andrew Gray, Tim Van der Linden 
Publication date: 14 December 2015
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.
Full work available at URL: https://arxiv.org/abs/1409.4219
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Recommendations
Cited In (33)
- On stability of exactness properties under the pro-completion
- A comonadic interpretation of Baues-Ellis homology of crossed modules
- On the capability of Hom-Lie algebras
- Central reflections and nilpotency in exact Mal'tsev categories
- 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
- Abelian extensions and crossed modules of Hom-Lie algebras
- Cohesive categories and manifolds
- Title not available (Why is that?)
- An invitation to topological semi-abelian algebras
- ESSENTIALLY ALGEBRAIC CATEGORIES
- Action representability of the category of internal groupoids
- A characterisation of Lie algebras via algebraic exponentiation
- On spans with right fibred right adjoints
- On the categorical behaviour of \(V\)-groups
- 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
- A universal Kaluzhnin-Krasner embedding theorem
- Title not available (Why is that?)
- Algebraic logoi
- Total Categories and Solid Functors
- A presentation of relative unitary Steinberg groups
- On the ternary commutator. I: Exact Mal'tsev categories
- On bornological semi-abelian algebras
- Categories of algebraic sets
- Universal central extensions of internal crossed modules via the non-abelian tensor product
- A characterisation of Lie algebras amongst anti-commutative algebras
- Title not available (Why is that?)
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)
