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, #m/def/linalg
closed monoidal so that has a gradation given by homogenous maps.
In particular, the endomorphism ring is a graded algebra.
Proof
#state/tidy | #lang/en | #SemBr