Example 9.5.6.12. Let $\operatorname{\mathcal{QC}}$ denote the $\infty $-category of small $\infty $-categories (Construction 5.5.3.1) and let $\operatorname{\mathcal{S}}\subseteq \operatorname{\mathcal{QC}}$ be the $\infty $-category of spaces (Construction 3.1.6.1). Then $\operatorname{\mathcal{S}}$ is a Bousfield localization of $\operatorname{\mathcal{QC}}$: it is replete (Remark 4.5.1.21), reflective (Example 6.2.2.11), and presentable (Example 9.5.1.3).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$