# Kerodon

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

Example 4.4.2.7. Let $\operatorname{\mathcal{C}}$ be an $\infty$-category. Then the canonical map $\operatorname{\mathcal{C}}\rightarrow \operatorname{N}_{\bullet }( \mathrm{h} \mathit{\operatorname{\mathcal{C}}} )$ is conservative.