Graded vector spaces