Remark 2.4.2.7. Let $\operatorname{\mathcal{C}}$ be an ordinary category. Then the simplicial category $\underline{\operatorname{\mathcal{C}}}_{\bullet }$ of Example 2.4.2.4 is locally Kan (since constant simplicial sets are Kan complexes; see Example 1.2.5.6).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$