Remark 9.2.7.10. It follows from Corollary 9.2.7.6 that the $\infty $-category $\operatorname{\mathcal{S}}$ is compactly generated. In particular, it can be regarded as an $\operatorname{Ind}$-completion of the full subcategory $\operatorname{\mathcal{S}}_{< \aleph _0}$ of finitely dominated Kan complexes (see Corollary 9.2.6.10), which is an idempotent completion of the $\infty $-category $\operatorname{\mathcal{S}}_{\mathrm{fin}}$ (Proposition 9.2.6.13).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$