Remark 6.3.7.3. Let $S$ be a simplicial set. Combining Proposition 6.3.7.2 with Remark 6.3.6.5, we recover the assertion that the last vertex map $\lambda _{S}: \operatorname{Sd}(S) \rightarrow S$ is a weak homotopy equivalence. In other words, we can regard Proposition 6.3.7.2 as a refinement of Proposition 3.3.4.8.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$