Kerodon

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

Exercise 1.2.5.2. Show that for $n > 0$, the standard simplex $\Delta ^{n}$ is not a Kan complex (for a more general statement, see Proposition 1.3.5.2).