Kerodon

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

Remark 8.3.6.3. Let $\operatorname{\mathcal{C}}$ be an ordinary category, which we identify with the corresponding constant simplicial category (see Example 2.4.2.4). In this case, Proposition 8.3.6.2 reduces to Example 8.3.3.4.