Corollary 7.4.3.3. Let $\operatorname{\mathcal{C}}$ be a small simplicial set. Then any diagram $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ admits a colimit in the $\infty $-category $\operatorname{\mathcal{S}}$. Moreover, a Kan complex $X$ is a colimit of the diagram $\mathscr {F}$ if and only if there exists a weak homotopy equivalence $\int _{\operatorname{\mathcal{C}}} \mathscr {F} \rightarrow X$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$