The Clowder Project

\[ \zeta ^{\mathsf{Sets}}_{r} \colon \mathbb {0}^{\mathsf{Sets}}\circ \mathbf{\mu }^{\mathsf{Cats}_{\mathsf{2}}}_{4|\mathsf{Sets},\mathsf{Sets},\mathsf{Sets},\mathsf{Sets}}\circ \webleft (\mathbf{\epsilon }^{\mathsf{Cats}_{\mathsf{2}}}_{\mathsf{Sets}}\times \text{id}_{\mathsf{pt}}\webright ) \overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }\times \circ \webleft (\text{id}_{\mathsf{Sets}}\times \mathbb {0}^{\mathsf{Sets}}\webright ) \]

\[ \zeta ^{\mathsf{Sets}}_{r|A}\colon A\times \text{Ø}\overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }\text{Ø}. \]