Proposition 6.3.2.1 (Existence of Localizations). Let $\operatorname{\mathcal{C}}$ be a simplicial set and let $W$ be a collection of edges of $\operatorname{\mathcal{C}}$. Then there exists an $\infty $-category $\operatorname{\mathcal{D}}$ and a morphism of simplicial sets $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ which exhibits $\operatorname{\mathcal{D}}$ as a localization of $\operatorname{\mathcal{C}}$ with respect to $W$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$