Talk:Tensor-hom adjunction