Abstract: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.

Reconstruction of schemes from their étale topoi

The étale topos reconstructs varieties over sub-p-adic fields

Recovering the relative poset structure of a covering of schemes using glued topoi

Category-Theoretic Reconstruction of Schemes from Categories of Reduced Schemes

Grothendieck Galois theory and étale exodromy

Reconstruction of module categories in the infinite and non-rigid settings

$(\infty,2)$-Topoi and descent

Schemes of Finite Expansion and Universally Closed Curves

Topoi with enough points

Inheritance of local topological properties of schemes

Homotopy theory of schemes and $R$-equivalence

Reconstruction of projective curves from the derived category

Derived categories of Quot schemes of locally free quotients

Study of various categories gravitating around $(φ,Γ)$-modules

Algebraic Cobordism and Étale Cohomology

Grothendieck's Reconstruction Principle and 2-dimensional Topology and Geometry

A note on étale $(φ,Γ)$-modules in families

Associative Schemes

Topos co-évanescents et généralisations

Faltings’ main p -adic comparison theorems for non-smooth schemes

Frobenius-Perron theory for projective schemes