Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Example 9.2.9.6. Let $\kappa \leq \lambda $ be regular cardinals. Then an $\infty $-category $\operatorname{\mathcal{E}}$ is $(\kappa ,\lambda )$-cocomplete (in the sense of Definition 9.2.1.3) if and only if the projection map $\operatorname{\mathcal{E}}\rightarrow \Delta ^0$ is a $(\kappa ,\lambda )$-cocomplete inner fibration (in the sense of Definition 9.2.9.4).