Graded vector space Strict category of graded vector spaces Let π be a set and π be a field. The strict category of π-graded vector spaces π¦πππ΅πΎπΌππ is the category where an object is a graded vector space and a map is a ^graded π-linear map. linalg This is a wide subcategory of Closed category of graded vector spaces. tidy | en | SemBr