Kerodon

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

Remark 9.2.8.18. The conclusion of Corollary 9.2.8.17 is also correct in the case $\kappa = \aleph _0$, following the convention that $\operatorname{\mathcal{QC}}_{< \aleph _0}$ is the full subcategory of $\operatorname{\mathcal{QC}}$ spanned by its compact objects (see Definition 9.2.2.6). Alternatively, we can replace $\operatorname{\mathcal{QC}}_{< \aleph _0}$ with the subcategory $\operatorname{\mathcal{QC}}_{\mathrm{fin}}$ of essentially finite $\infty $-categories (compare with Corollary 9.2.8.10).