Example 7.6.6.31. Let $\mathbb {K}$ be a collection of simplicial sets. Then an $\infty $-category $\operatorname{\mathcal{E}}$ is $\mathbb {K}$-cocomplete (in the sense of Definition 7.6.6.20) if and only if the projection map $U: \operatorname{\mathcal{E}}\rightarrow \Delta ^0$ is a $\mathbb {K}$-cocomplete inner fibration (in the sense of Definition 7.6.6.28). This is a special case of Example 7.6.6.30, since $U$ is locally cartesian.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$