Corollary 7.7.3.21. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is locally cartesian closed and let $K$ be a simplicial set. Assume either that $\operatorname{\mathcal{C}}$ has a final object or that it admits $K$-indexed colimits. Then $K$-indexed colimits in $\operatorname{\mathcal{C}}$ are universal.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$