Protomodular aspect of the dual of a topos
From MaRDI portal
Publication:1877878
DOI10.1016/j.aim.2003.09.004zbMath1047.18006OpenAlexW2032520459MaRDI QIDQ1877878
Publication date: 19 August 2004
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.aim.2003.09.004
Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25) Fibered categories (18D30) Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Intrinsic Schreier special objects ⋮ Unnamed Item ⋮ An axiomatic survey of diagram lemmas for non-abelian group-like structures ⋮ Unnamed Item ⋮ Commutator theory, action groupoids, and an intrinsic Schreier-Mac Lane extension theorem ⋮ Descent in locally presentable categories ⋮ Centralizer and faithful groupoid ⋮ On the cocartesian image of preorders and equivalence relations in regular categories
Cites Work
- An elementary characterization of categories of separated objects
- Diagram chasing in Mal'cev categories
- Some remarks on Maltsev and Goursat categories
- Normal subobjects and abelian objects in protomodular categories
- The denormalized \(3{\times}3\) lemma
- Arithmetical categories and commutator theory
- Mal'cev categories and fibration of pointed objects
- Semi-abelian categories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Protomodular aspect of the dual of a topos