ยง Tensor Hom adjunction