Corollary 7.2.2.13. Let $e: A \rightarrow B$ be a morphism of simplicial sets and let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. If $e$ is left cofinal and the functor $F$ creates $A$-indexed limits, then $F$ creates $B$-indexed limits. If $e$ is right cofinal and the functor $F$ creates $A$-indexed colimits, then the functor $F$ creates $B$-indexed colimits.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$