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.


tidy | en | SemBr