Example 9.1.1.7. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\kappa $ be an infinite cardinal. If $\operatorname{\mathcal{C}}$ is $\kappa $-cocomplete, then it is $\kappa $-filtered. In particular, if $\operatorname{\mathcal{C}}$ admits finite colimits, then it is filtered.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$