Graded vector space Closed category of graded vector spaces Let be a monoid and be a field. The closed category of -graded vector spaces over is the category where an object is a -graded vector space and a morphism is a -linear map, linalg closed monoidal so that has a gradation given by ^homogenous maps. In particular, the endomorphism ring is a graded algebra. Proof proof tidy | en | sembr