A theorem on Barr-exact categories, with an infinitary generalization
DOI10.1016/0168-0072(90)90036-2zbMATH Open0711.03030OpenAlexW2073268673MaRDI QIDQ922544FDOQ922544
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
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
abelian categoriespretoposesMorita equivalent\(\kappa \) -Barr-exact categories\(\kappa \) -regular functorscategory of mdelsstrong conceptual completeness
Categorical logic, topoi (03G30) Module categories in associative algebras (16D90) Abelian categories, Grothendieck categories (18E10) Other infinitary logic (03C75) Categorical embedding theorems (18E20)
Cites Work
- 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
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Title not available (Why is that?)
- Accessible Categories: The Foundations of Categorical Model Theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Large infinitary languages. Model theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Strong conceptual completeness for first-order logic
- Title not available (Why is that?)
- Completeness results for intuitionistic and modal logic in a categorical setting
- Representation of categories
- Some Results on Locally Finitely Presentable Categories
- Stone duality for first order logic
- On Representations of Grothendieck Toposes
- Full Continuous Embeddings of Toposes
Cited In (23)
- Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
- Infinitary generalizations of Deligne's completeness theorem
- Enriched regular theories
- Barr's embedding theorem for enriched categories
- 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
- Title not available (Why is that?)
- 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)
