Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Construction 4.3.3.13 (Joins of Simplicial Sets). Let $X$ and $Y$ be simplicial sets. We let $X \star Y$ denote the simplicial set given by the restriction $( X^{+} \star Y^{+} )|_{ \operatorname{{\bf \Delta }}^{\operatorname{op}} }$. Here $X^{+}, Y^{+} \in \operatorname{Fun}_{\ast }( \operatorname{Lin}^{\operatorname{op}}, \operatorname{Set})$ are given by Remark 4.3.3.12, and $X^{+} \star Y^{+}$ denotes the join of Construction 4.3.3.2. We will refer to $X \star Y$ as the join of $X$ and $Y$. The construction $X,Y \mapsto X \star Y$ determines a functor $\star : \operatorname{Set_{\Delta }}\times \operatorname{Set_{\Delta }}\rightarrow \operatorname{Set_{\Delta }}$, which we will refer to as the join functor. It is characterized (up to isomorphism) by the fact that the diagram

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}_{\ast }( \operatorname{Lin}^{\operatorname{op}}, \operatorname{Set}) \times \operatorname{Fun}_{\ast }( \operatorname{Lin}^{\operatorname{op}}, \operatorname{Set}) \ar [r]^-{\star } \ar [d] & \operatorname{Fun}_{\ast }( \operatorname{Lin}^{\operatorname{op}}, \operatorname{Set}) \ar [d] \\ \operatorname{Set_{\Delta }}\times \operatorname{Set_{\Delta }}\ar [r]^-{\star } & \operatorname{Set_{\Delta }}} \]

commutes up to isomorphism, where the vertical maps are the equivalences supplied by Proposition 4.3.3.11.