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 Endπβ‘π is a graded algebra. Proof proof tidy | en | SemBr