Gabriel-Ulmer duality for topoi and its relation with site presentations
Abstract
Let be a regular cardinal. We study Gabriel-Ulmer duality when one restricts the 2-category of locally -presentable categories with -accessible right adjoints to its locally full sub-2-category of -presentable Grothendieck topoi with geometric -accessible morphisms. In particular, we provide a full understanding of the locally full sub-2-category of the 2-category of -small cocomplete categories with -colimit preserving functors arising as the corresponding 2-category of presentations via the restriction. We analyse the relation of these presentations of Grothendieck topoi with site presentations and we show that the 2-category of locally -presentable Grothendieck topoi with geometric -accessible morphisms is a reflective sub-bicategory of the full sub-2-category of the 2-category of sites with morphisms of sites genearated by the weakly -ary sites in the sense of Shulman [37].
Keywords
Cite
@article{arxiv.1902.09391,
title = {Gabriel-Ulmer duality for topoi and its relation with site presentations},
author = {Ivan Di Liberti and Julia Ramos González},
journal= {arXiv preprint arXiv:1902.09391},
year = {2025}
}
Comments
25 pages