The Clowder Project

\[ \webleft (X,x_{0}\webright ),\webleft (Y,y_{0}\webright ),\webleft (\webleft (X,x_{0}\webright ),\webleft (Y,y_{0}\webright )\webright )\mapsto \webleft (X\vee Y,p_{0}\webright ) \]

\begin{align*} X\vee - & \colon \mathsf{Sets}_{*} \to \mathsf{Sets}_{*},\\ -\vee Y & \colon \mathsf{Sets}_{*} \to \mathsf{Sets}_{*},\\ -_{1}\vee -_{2} & \colon \mathsf{Sets}_{*}\times \mathsf{Sets}_{*} \to \mathsf{Sets}_{*}. \end{align*}