# Kerodon

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

Remark 3.5.2.4. Let $X$ and $Y$ be simplicial sets having at most countably many simplices of each dimension. Then the comparison map $\theta _{X,Y}: |X \times Y| \rightarrow |X| \times |Y|$ is a homeomorphism. For a proof, we refer the reader to .