Representation of categories

DOI10.1016/0022-4049(86)90105-2zbMath0606.18004OpenAlexW2043436876MaRDI 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 categoryfull embeddingregular embeddingfunctor categorysubobject latticesatomic toposcomplete atomic Boolean algebrabounded pretoposC-injectivecomplemented subjectsset-valued functors

Mathematics Subject Classification ID

Topoi (18B25) Embedding theorems, universal categories (18B15) Functor categories, comma categories (18A25)

Related Items

Model completions and r-Heyting categories ⋮ Strong conceptual completeness for first-order logic ⋮ Localisation of locally presentable categories ⋮ An embedding theorem for regular Mal'tsev categories ⋮ Localisations of locally presentable categories. II ⋮ Unnamed Item ⋮ A theorem on Barr-exact categories, with an infinitary generalization ⋮ On stability of exactness properties under the pro-completion ⋮ On global deformation quantization in the algebraic case ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ On regular monomorphisms in weakly locally presentable categories ⋮ Barr's embedding theorem for enriched categories ⋮ Pure morphisms in pro-categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Enriched regular theories ⋮ Embedding theorems for Janelidze's matrix conditions ⋮ Quasi-coproducts and accessible categories with wide pullbacks ⋮ Left exact presheaves on a small pretopos ⋮ On the Naturalness of Mal’tsev Categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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