## category

For small categories $A$, $B$, and $C$ establish a bijection $\bold{Cat}(A \times B, C) \simeq \bold{Cat}(A, C^{B})$ and show it is natural in $A,B$ and $C$. Hence show that $- \times B: \bold{Cat} \to \bold{Cat}$ has a right adjoint.