Representation of categories

DOI10.1016/0022-4049(86)90105-2MaRDI QIDQ1084490zbMATH OpenOpenAlexFDO

Authors 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

functor categoryfull embeddingregular categoryregular embeddingsubobject latticesatomic toposcomplete atomic Boolean algebrabounded pretoposC-injectivecomplemented subjectsset-valued functors

Mathematics Subject Classification ID

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

Recommendations

• An embedding theorem for abelian categories
• A theorem on Barr-exact categories, with an infinitary generalization
• An embedding theorem for regular Mal'tsev categories
• Embedding of Accessible Regular Categories
• Enriched regular theories

Cites work

• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3353518 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Aspects of topoi: Corrigenda and acknowledgements
• Atomic toposes
• Completeness results for intuitionistic and modal logic in a categorical setting
• Imbedding of Abelian Categories
• Molecular toposes
• On full embeddings. I
• Rational and Heron tetrahedra
• Sur quelques points d'algèbre homologique

Cited in

(32)

• An axiomatic construction of an almost full embedding of the category of graphs into the category of \(R\)-objects
• On stability of exactness properties under the pro-completion
• Category bases
• Barr's embedding theorem for enriched categories
• Enriched regular theories
• A theorem on Barr-exact categories, with an infinitary generalization
• Strong conceptual completeness for first-order logic
• Left exact presheaves on a small pretopos
• REPRESENTATIONS OF INTERNAL CATEGORIES
• Surjection-like classes of morphisms
• Embedding of Accessible Regular Categories
• Sh(B)-valued models of (, )-coherent categories
• Localisation of locally presentable categories
• On Representations of Grothendieck Toposes
• Model completions and r-Heyting categories
• Generalized sketches as a framework for completeness theorems. I-III
• scientific article; zbMATH DE number 1156704 (Why is no real title available?)
• Quasi-coproducts and accessible categories with wide pullbacks
• scientific article; zbMATH DE number 3955174 (Why is no real title available?)
• On global deformation quantization in the algebraic case
• Pure morphisms in pro-categories
• Positively closed Sh (B)-valued models
• Towards constructivising the Freyd-Mitchell embedding theorem
• scientific article; zbMATH DE number 4069150 (Why is no real title available?)
• Embedding theorems for Janelidze's matrix conditions
• scientific article; zbMATH DE number 742678 (Why is no real title available?)
• Stability properties characterising \(n\)-permutable categories
• Localisations of locally presentable categories. II
• An embedding theorem for regular Mal'tsev categories
• On the naturalness of Mal'tsev categories
• scientific article; zbMATH DE number 6751533 (Why is no real title available?)
• On regular monomorphisms in weakly locally presentable categories

This page was built for publication: Representation of categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1084490)