Example 3.5.7.28. Let $X$ be a Kan complex and let $n$ be an integer. Then the projection map $X \rightarrow \Delta ^0$ exhibits $\Delta ^0$ as an $n$-truncation of $X$ if and only if $X$ is $(n+1)$-connective.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$