Definition 9.5.6.9. Let $\operatorname{\mathcal{C}}$ be a presentable $\infty $-category. We say that a full subcategory $\operatorname{\mathcal{C}}_0 \subseteq \operatorname{\mathcal{C}}$ is a Bousfield localization of $\operatorname{\mathcal{C}}$ if it is reflective (Definition 6.2.2.6) and accessibly embedded (Definition 9.4.7.8).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$