Theories of presheaf type
From MaRDI portal
Publication:5311762
DOI10.2178/jsl/1096901776zbMath1072.03039MaRDI QIDQ5311762
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
03C99: Model theory
03G30: Categorical logic, topoi
18B25: Topoi
18C35: Accessible and locally presentable categories
Related Items
When is Flatness Coherent?, Left Kan extensions preserving finite products, Completeness of cocompletions, Fraïssé's construction from a topos-theoretic perspective, Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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