Kerodon

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

Construction 4.3.6.3. Let $f: A \hookrightarrow A'$ and $g: B \hookrightarrow B'$ be monomorphisms of simplicial sets. Using Remark 4.3.3.17, we see that the induced maps

\[ A \star B' \xrightarrow { f \star \operatorname{id}_{B'} } A' \star B' \xleftarrow { \operatorname{id}_{A'} \star g } A' \star B \]

are also monomorphisms. Moreover, the intersection of their images is the image of the monomorphism $(f \star g): A \star B \hookrightarrow A' \star B'$. We therefore obtain a monomorphism of simplicial sets

\[ (A \star B') \coprod _{ (A \star B) } (A' \star B) \hookrightarrow A' \star B', \]

which we will refer to as the pushout-join of $f$ and $g$.