张量积
Tensor product of graded vector spaces