Tensor-hom adjunction