Kerodon

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

Remark 7.4.1.20. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $W$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. It follows from Corollary 7.4.1.19 that the collection of $W$-local objects (Definition 6.2.3.1) is closed under the formation of all limits which exist in $\operatorname{\mathcal{C}}$. Similarly, the collection of $W$-colocal objects is closed under the formation of all colimits which exist in $\operatorname{\mathcal{C}}$.