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.