Representation of categories
From MaRDI portal
Publication:1084490
DOI10.1016/0022-4049(86)90105-2zbMath0606.18004OpenAlexW2043436876MaRDI QIDQ1084490
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
regular categoryfull embeddingregular embeddingfunctor categorysubobject latticesatomic toposcomplete atomic Boolean algebrabounded pretoposC-injectivecomplemented subjectsset-valued functors
Topoi (18B25) Embedding theorems, universal categories (18B15) Functor categories, comma categories (18A25)
Related Items (20)
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
This page was built for publication: Representation of categories