Protomodular aspect of the dual of a topos

DOI10.1016/j.aim.2003.09.004zbMath1047.18006OpenAlexW2032520459MaRDI QIDQ1877878

Dominique Bourn

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

zbMATH Keywords

fibrationstoposMal'cev and protomodular categories

Mathematics Subject Classification ID

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