Gabriel-Ulmer duality for topoi and its relation with site presentations

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

zbMATH Keywords

Grothendieck topoiGrothendieck sitesGabriel-Ulmer dualitylocally presentable categories

Mathematics Subject Classification ID

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