Corollary 3.5.2.2. Let $X$ and $Y$ be simplicial sets. Then the canonical map $\theta _{X,Y}: |X \times Y| \rightarrow |X| \times |Y|$ is a bijection. If either $X$ or $Y$ is finite, then $\theta $ is a homeomorphism.

**Proof.**
The first assertion follows immediately from Theorem 3.5.2.1. If $X$ and $Y$ are both finite, then the product $X \times Y$ is also finite (Remark 3.5.1.6), so that the geometric realizations $|X|$, $|Y|$, and $|X \times Y|$ are compact Hausdorff spaces (Corollary 3.5.1.12). In this case, $\theta _{X,Y}$ is a continuous bijection between compact Hausdorff spaces, and therefore a homeomorphism.

Now suppose that $X$ is finite and $Y$ is arbitrary. Let $M = \operatorname{Hom}_{\operatorname{Top}}( |X|, |X \times Y| )$ denote the set of all continuous functions from $|X|$ to $|X \times Y|$, endowed with the compact-open topology. For every finite simplicial subset $Y' \subseteq Y$, the composite map

determines a continuous function $\rho _{Y'}: |Y'| \rightarrow M$. Writing the geometric realization $|Y|$ as a colimit $\varinjlim _{Y' \subseteq Y} |Y'|$ (see Remark 3.5.1.8), we can amalgamate the functions $f_{Y'}$ to a single continuous function $\rho : |Y| \rightarrow M$. Our assumption that $X$ guarantees that the topological space $|X|$ is compact and Hausdorff, so the evaluation map

is continuous (see Theorem ). We complete the proof by observing that the bijection $\theta _{X,Y}^{-1}$ is a composition of continuous functions

and is therefore continuous. $\square$