The Clowder Project

\begin{align*} \zeta ^{\mathsf{Sets}}_{\ell } & \colon \text{Ø}\times A \overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }\text{Ø},\\ \zeta ^{\mathsf{Sets}}_{r} & \colon A\times \text{Ø}\overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }\text{Ø}, \end{align*}