Warning 7.1.2.14. In the statement of Example 7.1.2.13, the assumption that $K$ is a Kan complex cannot be omitted.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Warning 7.1.2.14. In the statement of Example 7.1.2.13, the assumption that $K$ is a Kan complex cannot be omitted.