Remark 3.6.6.6. In the special case where $S$ is a point, Proposition 3.6.6.5 reduces to the assertion that for every topological space $X$, the singular simplicial set $\operatorname{Sing}_{\bullet }(X)$ is a Kan complex, which was established earlier as Proposition 1.2.5.8.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$