Tensor-hom adjunction
 
x
OK