A theorem on Barr-exact categories, with an infinitary generalization

DOI10.1016/0168-0072(90)90036-2MaRDI QIDQ922544zbMATH OpenOpenAlexFDO

Authors Michael Makkai

Publication date 1990

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(90)90036-2

zbMATH Keywords

abelian categoriespretoposesMorita equivalent\(\kappa \) -Barr-exact categories\(\kappa \) -regular functorscategory of mdelsstrong conceptual completeness

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Module categories in associative algebras (16D90) Abelian categories, Grothendieck categories (18E10) Other infinitary logic (03C75) Categorical embedding theorems (18E20)

Recommendations

• Enriched regular theories
• Unifying exact completions
• scientific article; zbMATH DE number 1247371
• On linear exactness properties
• A property of effectivization and its uses in categorical logic
• scientific article; zbMATH DE number 895595
• Embedding of Accessible Regular Categories
• scientific article; zbMATH DE number 597603
• Representation of categories
• Lex colimits

Cites work

• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 3687544 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3801737 (Why is no real title available?)
• scientific article; zbMATH DE number 3353518 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Completeness results for intuitionistic and modal logic in a categorical setting
• Full Continuous Embeddings of Toposes
• Large infinitary languages. Model theory
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On Representations of Grothendieck Toposes
• Representation of categories
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Some Results on Locally Finitely Presentable Categories
• Stone duality for first order logic
• Strong conceptual completeness for first-order logic

Cited in

(23)

• Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
• Infinitary generalizations of Deligne's completeness theorem
• Barr's embedding theorem for enriched categories
• Enriched regular theories
• Representation of categories
• Model-theoretic imaginaries and coherent sheaves
• Strictly atomic modules in definable categories
• Infinitary first-order categorical logic
• Tameness from two successive good frames
• Quasi-coproducts and accessible categories with wide pullbacks
• A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \)
• Definable categories and monoidal categories
• Functorial semantics and HSP type theorems
• Flatness, weakly lex colimits, and free exact completions
• scientific article; zbMATH DE number 742678 (Why is no real title available?)
• Definable categories
• Definable additive categories: purity and model theory
• Weak equivalence of internal categories
• Structure sheaves of definable additive categories
• The Bartle-Graves theorem in the category of quotient bornological spaces
• A property of effectivization and its uses in categorical logic
• On regular monomorphisms in weakly locally presentable categories
• On linear exactness properties

This page was built for publication: A theorem on Barr-exact categories, with an infinitary generalization

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