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.

Non-abelian descent types

Descent and generation for noncommutative coherent algebras over schemes

Pseudo-Kan Extensions and Descent Theory

Galois invariants of finite abelian descent and Brauer sets

The second descent obstruction and gerbes

Descent and Galois theory for Hopf categories

Derived categories of curves of genus one and torsors over abelian varieties

Representation Type of the Descent Algebras of Type $\mathbb{A}$

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

Non-abelian class field theory and higher dimensional noncommutative tori

On pro-cdh descent on derived schemes

Remarks on cotorsion theories

Equivariant cd-structures and descent theory

Semistable torsion classes and canonical decompositions in Grothendieck groups

A non-abelian version of Deligne's Fixed Part Theorem

A descendent relation in genus 2

Types in torsion free Abelian groups

Hasse principle for Kummer varieties in the case of generic 2-torsion

Basic representations of genus zero nonabelian Hodge spaces

On Descent and germs

Descent and étale-Brauer obstructions for 0-cycles