Kerodon

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

Corollary 1.2.1.27. The functor $\pi _0: \operatorname{Set_{\Delta }}\rightarrow \operatorname{Set}$ preserves finite products.

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$