# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$

Proposition 4.7.4.1. Let $\operatorname{\mathcal{D}}$ be an $\infty$-category. Then there exists an ordinary category $\operatorname{\mathcal{C}}$, a collection $W$ of morphisms in $\operatorname{\mathcal{C}}$, and a functor $F: \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{D}}$ which exhibits $\operatorname{\mathcal{D}}$ as a localization of $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ with respect to $W$.