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

Remark For every simplicial category $\operatorname{\mathcal{C}}$, let $\operatorname{\mathcal{C}}^{\circ }$ denote the underlying ordinary category of $\operatorname{\mathcal{C}}$ (Example Then we have canonical isomorphisms

\[ ( \operatorname{\mathcal{C}}^{\triangleleft } )^{\circ } \simeq (\operatorname{\mathcal{C}}^{\circ })^{\triangleleft } \quad \quad ( \operatorname{\mathcal{C}}^{\triangleright } )^{\circ } \simeq (\operatorname{\mathcal{C}}^{\circ })^{\triangleright }, \]

where the left hand sides are defined using Notation and Variant, and the right hand sides are defined in Example In other words, the formation of cones is compatible with the forgetful functor from simplicial categories to ordinary categories.