# Kerodon

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

Example 4.6.7.12. If $K = \Delta ^0$, then the suspension $\Sigma (K)$ can be identified with $\Delta ^1$. In this case, the simplicial path category $\operatorname{Path}[ \Sigma (K) ]_{\bullet }$ can be identified with the ordinary category $[1]$, and the simplicial set $\Phi (K)$ is isomorphic to $\Delta ^{0}$.