Remark 4.3.3.16. Let $X$ and $Y$ be finite simplicial sets. Then the join $X \star Y$ is also finite.

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 4.3.3.16. Let $X$ and $Y$ be finite simplicial sets. Then the join $X \star Y$ is also finite.