Category of graded vector spaces

Let $𝑆$ be a set and $𝕂$ be a field. The category of graded vector spaces $𝖦 𝗋 𝑆 𝖵 𝖾 𝖼 𝗍 𝕂$ is the category where an object is a graded vector space and a map is a graded $𝕂$ -linear map. #m/def/linalg This is a wide subcategory of $𝗀 𝗋 𝔄 𝖵 𝖾 𝖼 𝗍 𝕂$ .

#state/tidy | #lang/en | #SemBr