Tensor product
テンソル積と Hom の随伴性.