Representation of categories

DOI10.1016/0022-4049(86)90105-2zbMath0606.18004MaRDI QIDQ1084490

Michael Barr

Publication date: 1986

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(86)90105-2

zbMATH Keywords

regular category; full embedding; regular embedding; functor category; subobject lattices; atomic topos; complete atomic Boolean algebra; bounded pretopos; C-injective; complemented subjects; set-valued functors

Mathematics Subject Classification ID

18B25: Topoi

18B15: Embedding theorems, universal categories

18A25: Functor categories, comma categories

Related Items

Generalized sketches as a framework for completeness theorems. I-III, On regular monomorphisms in weakly locally presentable categories, Localisations of locally presentable categories. II, A theorem on Barr-exact categories, with an infinitary generalization, Strong conceptual completeness for first-order logic, Localisation of locally presentable categories, Left exact presheaves on a small pretopos, Model completions and r-Heyting categories, On global deformation quantization in the algebraic case, Pure morphisms in pro-categories, Quasi-coproducts and accessible categories with wide pullbacks, Unnamed Item

Cites Work

• Rational and Heron tetrahedra
• Atomic toposes
• Molecular toposes
• On full embeddings. I
• Completeness results for intuitionistic and modal logic in a categorical setting
• Sur quelques points d'algèbre homologique
• Imbedding of Abelian Categories
• Aspects of topoi: Corrigenda and acknowledgements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item