Definition 23.7.1 (Descent). Let \(I\) be a small \(\infty \)-category, and let \(T\) be an \(\infty \)-category with pullbacks and \(I\)-indexed colimits. We say that \(T\) satisfies descent for \(I\)-indexed colimits if the functor \[ T\catop \to \Cat , \qquad X \mapsto T_{/X} \] preserves \(I\)-indexed limits.
Generated from the authoritative LaTeX source.