Product-Slice Adjunction

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