Example 14.11.2. For every $n \geq 0$ we denote $\Delta [n]$ the simplicial set

$\Delta ^{opp} \longrightarrow \textit{Sets},\quad [k] \longmapsto \mathop{Mor}\nolimits _{\Delta }([k], [n])$

We leave it to the reader to verify the following statements. Every $m$-simplex of $\Delta [n]$ with $m > n$ is degenerate. There is a unique nondegenerate $n$-simplex of $\Delta [n]$, namely $\text{id}_{[n]}$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).