Kerodon

Corollary 4.6.8.20. Let $\operatorname{\mathcal{C}}$ be a locally Kan simplicial category, and let $U: \operatorname {h}\! \mathit{\operatorname{\mathcal{C}}} \rightarrow \operatorname {h}\! \mathit{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }$ be the isomorphism of homotopy categories supplied by Proposition 2.4.6.9. Then the homotopy equivalences $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \rightarrow \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }(X,Y)$ of Remark 4.6.7.6 promote $U$ to an isomorphism of $\operatorname {h}\! \mathit{\operatorname{Kan}}$-enriched categories. Here $\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}$ is endowed with the $\operatorname {h}\! \mathit{\operatorname{Kan}}$-enrichment of Remark 3.1.5.12 and $\operatorname {h}\! \mathit{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }$ is endowed with the $\operatorname {h}\! \mathit{\operatorname{Kan}}$-enrichment of Construction 4.6.8.13.