The Clowder Project

\[ \webleft (\webleft (-\webright )^{+},\webleft (-\webright )^{+,\times },\webleft (-\webright )^{+,\times }_{\mathbb {1}}\webright ) \colon \webleft (\mathsf{Sets},\times ,\text{pt}\webright ) \to \webleft (\mathsf{Sets}_{*},\wedge ,S^{0}\webright ), \]

\begin{align*} \mathsf{CoMon}\webleft (\mathsf{Sets}_{*},\wedge ,S^{0}\webright ) & \mathrel {\smash {\overset {\scriptscriptstyle \text{eq.}}\cong }}\mathsf{CoMon}\webleft (\mathsf{Sets},\times ,\text{pt}\webright )\\ & \cong \mathsf{Sets}. \end{align*}