Remark 3.6.5.5. Proposition 3.6.5.2 implies a stronger version of Theorem 3.6.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 5.5.1.9).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$