Kerodon

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

Remark 5.5.2.13. For every simplicial category $\operatorname{\mathcal{C}}$, let $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ denote its homotopy category. Then there are canonical isomorphisms 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.