The Clowder Project

\begin{align*} \textup{Hom}_{\mathsf{Sets}}\webleft (A\times B,C\webright ) & \cong \textup{Hom}_{\mathsf{Sets}}\webleft (A,\textup{Hom}_{\mathsf{Sets}}\webleft (B,C\webright )\webright ),\\ \textup{Hom}_{\mathsf{Sets}}\webleft (A\times B,C\webright ) & \cong \textup{Hom}_{\mathsf{Sets}}\webleft (B,\textup{Hom}_{\mathsf{Sets}}\webleft (A,C\webright )\webright ), \end{align*}