$(\infty,2)$-Topoi and descent
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908070671548416 |
|---|---|
| author | Abellán, Fernando Martini, Louis |
| author_facet | Abellán, Fernando Martini, Louis |
| contents | We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as the exponentiability of these fibrations. As our main result, we prove a 2-dimensional version of Giraud's theorem which characterizes $(\infty,2)$-topoi as those $(\infty, 2)$-categories that appear as localizations of $\mathfrak{C}\!\operatorname{at}$-valued presheaves in which the localization functor preserves certain partially lax finite limits which we call oriented pullbacks. We develop the basics of a theory of partially lax Kan extensions internal to an $(\infty,2)$-topos, and we show that every $(\infty,2)$-topos admits an internal version of the Yoneda embedding. Our general formalism recovers the theory of categories internal to a $(\infty,1)$-topos (as develop by the second author and Sebastian Wolf) as a full sub-$(\infty,2)$-category of the $(\infty,2)$-category of $(\infty,2)$-topoi. As a technical ingredient, we prove general results on the theory of presentable $(\infty,2)$-categories, including lax cocompletions and 2-dimensional versions of the adjoint functor theorem, which might be of independent interest. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_02014 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | $(\infty,2)$-Topoi and descent Abellán, Fernando Martini, Louis Category Theory Algebraic Topology We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as the exponentiability of these fibrations. As our main result, we prove a 2-dimensional version of Giraud's theorem which characterizes $(\infty,2)$-topoi as those $(\infty, 2)$-categories that appear as localizations of $\mathfrak{C}\!\operatorname{at}$-valued presheaves in which the localization functor preserves certain partially lax finite limits which we call oriented pullbacks. We develop the basics of a theory of partially lax Kan extensions internal to an $(\infty,2)$-topos, and we show that every $(\infty,2)$-topos admits an internal version of the Yoneda embedding. Our general formalism recovers the theory of categories internal to a $(\infty,1)$-topos (as develop by the second author and Sebastian Wolf) as a full sub-$(\infty,2)$-category of the $(\infty,2)$-category of $(\infty,2)$-topoi. As a technical ingredient, we prove general results on the theory of presentable $(\infty,2)$-categories, including lax cocompletions and 2-dimensional versions of the adjoint functor theorem, which might be of independent interest. |
| title | $(\infty,2)$-Topoi and descent |
| topic | Category Theory Algebraic Topology |
| url | https://arxiv.org/abs/2410.02014 |