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

Proposition Let $X$ and $Y$ be simplicial sets. If either $X$ or $Y$ is finite, then the join comparison map $T_{X,Y}: |X \star Y| \rightarrow |X| \star |Y|$ of Construction is a homeomorphism.

Proof. Without loss of generality, we may assume that $X$ is finite. Then the geometric realization $|X|$ is a compact Hausdorff space (Corollary Using Remarks and, we see that the functors

\[ \operatorname{Set_{\Delta }}\rightarrow \operatorname{Top}_{|X|/} \quad \quad Y \mapsto |X \star Y|, Y \mapsto |X| \star |Y| \]

preserve colimits. Consequently, if we regard $X$ as fixed, then the collection of simplicial sets $Y$ for which $T_{X,Y}$ is a homeomorphism is closed under colimits. Since every simplicial set can be realized as a colimit of standard simplices (Corollary, it will suffice to prove Proposition in the special case where $Y = \Delta ^{q}$ is a standard simplex. In this case, $Y$ is also finite. Repeating the preceding argument (with the roles of $X$ and $Y$ reversed), we are reduced to proving that $T_{X,Y}$ is a homeomorphism in the case where $X = \Delta ^{p}$ is also a standard simplex. In this case, the desired result follows from Example $\square$