and
A super vector space is an object in the monoidal category SVect: as an object it is just a -graded vector space, but when tensoring them one uses the non-trivial symmetric monoidal structure on -graded vector spaces. In simple terms, this means that when switching two ‘odd’ vectors one introduces a minus sign: