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

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

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.

## Comments (0)