# Kerodon

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

Remark 3.4.5.2. The collection of weak homotopy equivalences of semisimplicial sets is closed under the formation of filtered colimits. This follows immediately from the corresponding assertion for simplicial sets (Proposition 3.2.8.3), since the construction $X \mapsto X^{+}$ commutes with filtered colimits.