Tensor product
に対してテンソル積の普遍性を適用することにより、表現のテンソル積