Remark 9.5.6.10. Let $\operatorname{\mathcal{C}}$ be a presentable $\infty $-category and let $\operatorname{\mathcal{C}}_0 \subseteq \operatorname{\mathcal{C}}$ be a reflective subcategory. It follows from Corollary 7.1.4.33 that $\operatorname{\mathcal{C}}_0$ is automatically complete and cocomplete. Consequently, if $\operatorname{\mathcal{C}}_0$ is a Bousfield localization of $\operatorname{\mathcal{C}}$, then it is a presentable $\infty $-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$