# Kerodon

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

Remark 3.5.5.4. Proposition 3.5.5.2 implies a stronger version of Theorem 3.5.0.1: the simplicially enriched functor $| \bullet |: \operatorname{Kan}\rightarrow \operatorname{Top}$ induces a fully faithful embedding of $\infty$-categories $\operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Kan}) \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Top})$ (see Remark ).