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

DOI10.1016/0168-0072(90)90036-2zbMath0711.03030OpenAlexW2073268673MaRDI QIDQ922544

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

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

Related Items

Infinitary first-order categorical logic, Model-theoretic imaginaries and coherent sheaves, Unnamed Item, Definable categories, Flatness, weakly lex colimits, and free exact completions, On regular monomorphisms in weakly locally presentable categories, Barr's embedding theorem for enriched categories, Structure sheaves of definable additive categories, Definable additive categories: purity and model theory, Enriched regular theories, Tameness from two successive good frames, Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}, Quasi-coproducts and accessible categories with wide pullbacks, INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM, Functorial semantics and HSP type theorems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Representation of categories
• Stone duality for first order logic
• Strong conceptual completeness for first-order logic
• Large infinitary languages. Model theory
• Completeness results for intuitionistic and modal logic in a categorical setting
• Lokal präsentierbare Kategorien. (Locally presentable 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
• On Representations of Grothendieck Toposes
• Full Continuous Embeddings of Toposes
• Accessible Categories: The Foundations of Categorical Model Theory
• Some Results on Locally Finitely Presentable Categories