Gabriel-Ulmer duality for topoi and its relation with site presentations
From MaRDI portal
Publication:831310
DOI10.1007/s10485-020-09605-xzbMath1460.18008arXiv1902.09391OpenAlexW2917380599MaRDI QIDQ831310
Ivan Di Liberti, Julia Ramos González
Publication date: 11 May 2021
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.09391
Applications of set theory (03E75) Accessible and locally presentable categories (18C35) Grothendieck topologies and Grothendieck topoi (18F10) 2-categories, bicategories, double categories (18N10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lex colimits
- Locally finitely presented categories of sheaves
- Strong conceptual completeness for first-order logic
- Categories of actions and Morita equivalence
- Algebraic theories of quasivarieties
- Left exact presheaves on a small pretopos
- Noncommutative projective schemes
- Regular and exact completions
- Cartesian logic
- Grothendieck categories as a bilocalization of linear sites
- A classification of accessible categories
- A generalization of the Gabriel-Popescu theorem
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Noncommutative curves and noncommutative surfaces
- Theories, Sites, Toposes
- Exact completions and small sheaves
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- General Functorial Semantics, I
- Accessible Categories: The Foundations of Categorical Model Theory
- On the Tensor Product of Linear Sites and Grothendieck Categories
- Some Results on Locally Finitely Presentable Categories
- Syntactic characterizations of various classes of locally presentable categories
This page was built for publication: Gabriel-Ulmer duality for topoi and its relation with site presentations
