Corollary 5.4.3.7. The coslice comparison functor $F: \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Kan}_{\ast } ) \rightarrow \operatorname{\mathcal{S}}_{\ast }$ induces an isomorphism of homotopy categories $\mathrm{h} \mathit{F}: \mathrm{h} \mathit{\operatorname{Kan}}_{\ast } \xrightarrow {\sim } \mathrm{h} \mathit{\operatorname{\mathcal{S}}}_{\ast }$, where $\mathrm{h} \mathit{\operatorname{Kan}}_{\ast }$ denotes the homotopy category of pointed Kan complexes (Construction 3.2.1.10).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$