Theories of presheaf type

DOI10.2178/jsl/1096901776zbMath1072.03039OpenAlexW2031602612MaRDI QIDQ5311762

Tibor Beke

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1096901776

zbMATH Keywords

geometric theoryclassifying topospresheaf topos

Mathematics Subject Classification ID

Model theory (03C99) Categorical logic, topoi (03G30) Topoi (18B25) Accessible and locally presentable categories (18C35)

Related Items

General facts on the Scott adjunction ⋮ Unnamed Item ⋮ On duality and model theory for polyadic spaces ⋮ Cellular objects and Shelah's singular compactness theorem ⋮ Left Kan extensions preserving finite products ⋮ Towards higher topology ⋮ Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) ⋮ Fraïssé's construction from a topos-theoretic perspective ⋮ Completeness of cocompletions ⋮ When is Flatness Coherent?

Cites Work

• The topology of discrete groups
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Some cardinality questions for flat modules and coherence
• Homotopy limits, completions and localizations
• Accessible Categories: The Foundations of Categorical Model Theory
• Simplicial homotopy theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item