Example 4.3.3.15. For every simplicial set $X$, we have canonical isomorphisms $X \star \emptyset \simeq X \simeq \emptyset \star X$ (compare with Example 4.3.3.3).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 4.3.3.15. For every simplicial set $X$, we have canonical isomorphisms $X \star \emptyset \simeq X \simeq \emptyset \star X$ (compare with Example 4.3.3.3).