Example 9.5.6.16. Let $\operatorname{\mathcal{C}}$ be a presentable $\infty $-category, and let $\operatorname{Isom}(\operatorname{\mathcal{C}}) \subseteq \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$ denote the full subcategory spanned by the isomorphisms in $\operatorname{\mathcal{C}}$ (Example 4.4.1.14). Then $\operatorname{Isom}(\operatorname{\mathcal{C}})$ is a Bousfield localization of $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$