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