Kerodon

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

Corollary 7.5.9.5. Let $\operatorname{\mathcal{C}}$ be a small filtered category and let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$ be a diagram of simplicial sets having colimit $K = \varinjlim (\mathscr {F} )$. Let $\operatorname{\mathcal{D}}$ be an $\infty $-category which admits $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$-indexed colimits and which admits $\mathscr {F}(C)$-indexed colimits, for each $C \in \operatorname{\mathcal{C}}$. Then $\operatorname{\mathcal{D}}$ also admits $K$-indexed colimits. Moreover, if $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ is a functor which preserves both $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$-indexed colimits and $\mathscr {F}(C)$-indexed colimits for each $C \in \operatorname{\mathcal{C}}$, then $G$ also preserves $K$-indexed colimits.