Kerodon

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

Variant 9.1.9.11. An $\infty $-category $\operatorname{\mathcal{C}}$ admits $\aleph _1$-small, $\aleph _0$-filtered colimits if and only if it admits sequential colimits, in the sense of Definition 7.6.5.1. In this case, a functor $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is $( \aleph _0, \aleph _1)$-finitary if and only if it preserves sequential colimits. See Corollary 9.1.8.9.