Product-Slice Adjunction

$$\mathrm{Hom}[-\times B,C]\Rightarrow \mathrm{Hom}[-,C^B]$$