Proposition 10.1.1.7. Every sifted simplicial set is weakly contractible.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proposition 10.1.1.7. Every sifted simplicial set is weakly contractible.
Proof. Let $K$ be a sifted simplicial set. Taking $I = \emptyset $ in Definition 10.1.1.1, we conclude that the projection map $K \rightarrow \Delta ^0$ is right cofinal, so that $K$ is weakly contractible by virtue of Proposition 7.2.1.5. $\square$