テンソル積
Tensor product of graded vector spaces.