Full Continuous Embeddings of Toposes

DOI10.2307/1998599zbMath0487.18004OpenAlexW4243556863MaRDI QIDQ3947807

Michael Makkai

Publication date: 1982

Full work available at URL: https://doi.org/10.2307/1998599

zbMATH Keywords

embedding theoremstopos of presheavesembedding theorem for regular categoriesclassifying toposesatomic toposesfull continuous embeddingprime- generated toposregular theories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Models with special properties (saturated, rigid, etc.) (03C50) Embedding theorems, universal categories (18B15)

Related Items

Completeness results for intuitionistic and modal logic in a categorical setting, Stone duality for first order logic, A topos-theorist looks at dilators, On full embeddings. I, A theorem on Barr-exact categories, with an infinitary generalization, Ultrafilters, finite coproducts and locally connected classifying toposes, 2-filteredness and the point of every Galois topos

Cites Work

• Atomic toposes
• On full embeddings. I
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Exact categories and categories of sheaves
• 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 the category of models of a complete theory
• Categoricity in Power
• Incompleteness of a formal system for infinitary finite-quantifier formulas
• Unnamed Item
• Unnamed Item
• Unnamed Item