Example 14.26.7. The simplicial set $\Delta [m]$ is homotopy equivalent to $\Delta [0]$. Namely, there is a unique morphism $f : \Delta [m] \to \Delta [0]$ and we take $g : \Delta [0] \to \Delta [m]$ to be given by the inclusion of the last $0$-simplex of $\Delta [m]$. We have $f \circ g = \text{id}$ and we will give a homotopy $h : \Delta [m] \times \Delta [1] \to \Delta [m]$ between $\text{id}_{\Delta [m]}$ and $g \circ f$. Namely $h$ given by the maps

$\mathop{Mor}\nolimits _\Delta ([n], [m]) \times \mathop{Mor}\nolimits _\Delta ([n], [1]) \to \mathop{Mor}\nolimits _\Delta ([n], [m])$

which send $(\varphi , \alpha )$ to

$k \mapsto \left\{ \begin{matrix} \varphi (k) & \text{if} & \alpha (k) = 0 \\ m & \text{if} & \alpha (k) = 1 \end{matrix} \right.$

Note that this only works because we took $g$ to be the inclusion of the last $0$-simplex. If we took $g$ to be the inclusion of the first $0$-simplex we could find a homotopy from $g \circ f$ to $\text{id}_{\Delta [m]}$. This is an illustration of the asymmetry inherent in homotopies in the category of simplicial sets.

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).