# Kerodon

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

Remark 5.4.2.13. For every simplicial category $\operatorname{\mathcal{C}}$, let $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ denote its homotopy category. Then there are canonical isomorphism of categories

$\mathrm{h} \mathit{( \operatorname{\mathcal{C}}^{\triangleleft } )} \simeq (\mathrm{h} \mathit{\operatorname{\mathcal{C}}})^{\triangleleft } \quad \quad \mathrm{h} \mathit{( \operatorname{\mathcal{C}}^{\triangleright } )} \simeq (\mathrm{h} \mathit{\operatorname{\mathcal{C}}})^{\triangleright }.$

In other words, the formation of cones is compatible with the passage from a simplicial category to its homotopy category.