The Clowder Project

\begin{align*} \lambda ^{\mathsf{Sets}}_{A} & \colon \text{pt}\times A \overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }A,\\ \rho ^{\mathsf{Sets}}_{A} & \colon A\times \text{pt}\overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }A, \end{align*}