Corollary 1.2.1.27. The functor $\pi _0: \operatorname{Set_{\Delta }}\rightarrow \operatorname{Set}$ preserves finite products.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proof. Since $\pi _0( \Delta ^0)$ is a singleton (Example 1.2.1.7), it will suffice to show that for every pair of simplicial sets $S_{\bullet }$ and $T_{\bullet }$, the canonical map
\[ \pi _0( S_{\bullet } \times T_{\bullet } ) \rightarrow \pi _0( S_{\bullet } ) \times \pi _0( T_{\bullet } ) \]
is bijective. Writing $S_{\bullet }$ and $T_{\bullet }$ as a disjoint union of connected components (Proposition 1.2.1.13), we can reduce to the case where $S_{\bullet }$ and $T_{\bullet }$ are connected, in which case the desired result follows from Proposition 1.2.1.26. $\square$