\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{graded vector space}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{differentialgraded_objects}{}\paragraph*{{Differential-graded objects}}\label{differentialgraded_objects}

[[!include differential graded objects - contents]]

\hypertarget{homological_algebra}{}\paragraph*{{Homological algebra}}\label{homological_algebra}

[[!include homological algebra - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{remarks}{Remarks}\dotfill \pageref*{remarks} \linebreak
\noindent\hyperlink{special_case_of_graded_vector_spaces}{Special case of $\mathbb{Z}$-graded vector spaces.}\dotfill \pageref*{special_case_of_graded_vector_spaces} \linebreak
\noindent\hyperlink{concepts}{Concepts}\dotfill \pageref*{concepts} \linebreak
\noindent\hyperlink{pregraded_vector_spaces}{(Pre-)graded vector spaces}\dotfill \pageref*{pregraded_vector_spaces} \linebreak
\noindent\hyperlink{suspension}{Suspension}\dotfill \pageref*{suspension} \linebreak
\noindent\hyperlink{duals}{Duals}\dotfill \pageref*{duals} \linebreak
\noindent\hyperlink{duality}{Duality}\dotfill \pageref*{duality} \linebreak
\noindent\hyperlink{tensor_products}{Tensor products}\dotfill \pageref*{tensor_products} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak


\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

Given a [[set]] $G$, an \textbf{$G$-graded vector space} is a map $V$ assigning to each element $g \in G$ a [[vector space]] $V_g$. Given $G$-graded vector spaces $V$ and $W$, a morphism $f\colon V \to W$ assigns to each element $g \in G$ a linear operator $f_g\colon V_g \to W_g$. That is, the [[category]] of $G$-graded vector spaces is the [[functor category]] $Vect^G$.

We can just as easily talk about a \textbf{$G$-graded [[module]]} or a \textbf{$G$-[[graded object]]} in any [[category]]. However, a [[graded algebra]] has additional requirements (using a [[monoid]] structure on $G$, as below).

In other words, a $G$-graded vector space is a functor $V\colon G \to Vect$, where the set $G$ is treated as a [[discrete category]], and [[Vect]] is the category of vector spaces. Similarly, a morphism of $G$-graded vector spaces is a natural transformation between such functors. In short, the category of $G$-graded vector spaces is the [[functor category]] $Vect^G$.

People are usually interested in $G$-graded vector spaces when the set $G$ is equipped with extra structure. If the set $G$ is a [[monoid]], $Vect^G$ is a [[monoidal category]], with the [[tensor product]] given by

\begin{displaymath}
(V \otimes W)_g = \bigoplus_{h \cdot k = g} V_h \otimes W_k.
\end{displaymath}
The unit is given by having the underlying field $k$ as $V_e$ and the trivial vector space for other gradings. If $G$ is a commutative monoid, then $Vect^G$ is a [[symmetric monoidal category]].

If $G$ is a group, every finite-dimensional $G$-graded vector space has a [[left dual object|left dual]] and a [[right dual object|right dual]]. And if $G$ is an [[abelian group]], these duals coincide.

By far the most widely-used examples are $G = \mathbb{Z}$ and $G = \mathbb{N}$. Indeed, the term \emph{graded vector space} is often used to mean a $G$-graded vector space with one of these choices of $G$. The case $G = \mathbb{Z}/2$ is also important: a $\mathbb{Z}/2$-graded vector space is also called a [[supervector space]]. However, in this case one often uses a different braiding on $Vect^G$, one which uses the [[ring]] structure of $\mathbb{N}$; see \href{https://secure.wikimedia.org/wikipedia/en/wiki/Super_vector_space#The_category_of_super_vector_spaces}{Wikipedia}.

\hypertarget{remarks}{}\subsection*{{Remarks}}\label{remarks}

For the case that $G$ is a group, this means that the category of $G$-graded vector spaces is a [[vertical categorification|categorification]] of the [[category algebra|group algebra]] of $G$, where numbers are replaced by vector spaces. Recalling from the remark in [[category algebra]] that the group algebra of a group can be identified with the monoid of spans of the form

\begin{displaymath}
\itexarray{
     && G
     \\
     & \swarrow && \searrow
     \\
     pt &&\Rightarrow&& pt
     \\ 
     & \searrow && \swarrow
     \\
     &&
     Vect
  }
\,,
\end{displaymath}
where $pt \to Vect$ goes to the [[ground field]] $k$, the monoidal category of $G$-graded vector spaces can be identified with the monoid of spans of the form

\begin{displaymath}
\itexarray{
     && G
     \\
     & \swarrow && \searrow
     \\
     pt &&\Rightarrow&& pt
     \\ 
     & \searrow && \swarrow
     \\
     &&
     2Vect
  }
  \,.
\end{displaymath}
Here $2Vect$ denotes some version of the category of 2-vector spaces with the property that the category $Vect$ is one of its objects and such that $End_{2Vect}(Vect) \simeq Vect$ (in analogy to how $End_{Vect}(k) \simeq k$) and $pt \to 2Vect$ maps to $Vect$. Possible choices for $2Vect$ is the 2-category of [[Kapranov-Voevodsky 2-vector space]]s or the bigger bicategory [[Bimod]] of algebras and [[bimodule]]s.

More details on this perspective on graded vector spaces are in [[schreiber:Nonabelian cocycles and their quantum symmetries]].

\hypertarget{special_case_of_graded_vector_spaces}{}\subsection*{{Special case of $\mathbb{Z}$-graded vector spaces.}}\label{special_case_of_graded_vector_spaces}

The case $G = \mathbb{Z}$ serves as a base for many other applications of the same basic idea. It has some of its own `traditional' terminology and structure that links it to [[differential object|differential objects]], so that a `differential graded vector space' is a [[chain complex]] of vector spaces. We will use `gvs' as an abbreviation for this sort of graded vector space and `dgvs' for the differential form. (Of course, the theory easily adapts to handle graded modules over a ring, and with some restriction, to graded groups.) Basing algebras on dgvs gives differential graded algebras ([[dg-algebra]]) and so on.

\hypertarget{concepts}{}\subsection*{{Concepts}}\label{concepts}

The entry here will be a sort of lexicon of some terms which are taken from a source on [[rational homotopy theory]]. This will be more or less `as-is' from the source (except translating it from the original French that is!), i.e. without too much editing. This means that there may be conflicts with other entries, which will need resolving later. Some links to other entries have been given but more could be made. There WILL initially be some duplication but that will be eliminated later on.

The lexicon will be spread over a number of entries with links given in the table of contents ion the right hand side at the top.

\textbf{Note} With $\mathbb{Z}$-graded vector spaces (and sometimes with other examples as well), some authors work with a direct sum of the various vector spaces instead of using an indexed family.

\hypertarget{pregraded_vector_spaces}{}\subsubsection*{{(Pre-)graded vector spaces}}\label{pregraded_vector_spaces}

A \emph{pre-$\mathbb{Z}$-graded vector space} (pre-gvs) is a direct sum $V = \bigoplus_{p\in \mathbb{Z}} V_p$. The elements of $V_p$ are said to be \emph{homogeneous of degree $p$}. If $x \in V_p$, write $|x| = p$.

Sometimes it may be convenient to write $\bar{x} = (-1)^{|x|}x$ and $V_+ = \bigoplus_{p\gt 0}V_p$. Another very useful piece of notation is $V^p = V_{-p}$. In this case we will refer to an `upper grading' with, in contrast, the other notation being a `lower grading'. These are merely for convenience and have little or no mathematical significance.

For the purposes of this lexicon:

A \emph{graded vector space} (gvs) is a positively or negatively graded pre-gvs that is either $V = \sum_{p\geq 0}V_p$ or $V = \sum_{p\leq 0}V^p$. (This effectively restricts from a $\mathbb{Z}$-grading to one over $\mathbb{N}$

We consider the field $k$ to be a pre-gvs with $(k)_0 = k$, and $(k)_p =0$ if $p\neq 0$. We say $V$ is of \emph{finite type} if $dim(V_p) \lt \infty$ for all $p$.

A linear map $f :V\to W$ between pre-gvs is \emph{of degree $p$} if $f(V_q) \subseteq W_{p+q}$ for all $q$. (Note this may also occur as $f(V^q) \subseteq W^{q-p}$.)

A \emph{morphism} $f : V\to W$ is a linear map of degree zero. Pregraded vector spaces and the morphisms between them define the category ${pre GVS}$.

The set of all linear maps of degree $p$ from $V$ to $W$ will be denoted $Hom_p(V,W)$ and we set

\begin{displaymath}
Hom(V,W) = \bigoplus_p Hom_p(V,W).
\end{displaymath}
Of course, we now have two notations for the same object, ${pre GVS}(V,W) = Hom_0(V,W)$.

\hypertarget{suspension}{}\subsubsection*{{Suspension}}\label{suspension}

If $r\in \mathbb{Z}$, the $r$-suspension of $V$ is given by $(s^r V)_n = V_{n-r}.$

We will need $s$, the 1-suspension, and $s^{-1}$ in particular. Of course, $(s^{-1}V)_n = V_{n+1}$. It is also useful to note $(s^r V)^p = V^{p+r}$. Again, of course, $s^r: V\to s^r V$ is an isomorphism of degree $-r$ having $s^{-r}$ as its inverse.

(This is the basic example of the \textbf{suspension functor} discussed in [[triangulated category]].)

\hypertarget{duals}{}\subsubsection*{{Duals}}\label{duals}

The dual of a (pre-)gvs $V$ is $\#V$ defined by

\begin{displaymath}
\begin{aligned}
     (\#V)_p &: = Hom_p(V,k)\\
             &\cong{Vect}(V_{-p},k)\\
	     &\cong\#(V_{-p})\\
	     & =\#(V^p).
\end{aligned}
\end{displaymath}
If $f : V\to W$ is of degree $|f|$, then its \emph{transpose}

\begin{displaymath}
^t f : \#W \to \#V
\end{displaymath}
is given by

\begin{displaymath}
(^t f)(\psi)(x) = (-1)^{|f||\psi|}\psi f(x),
\end{displaymath}
for $\psi \in \#W$ and $x\in V$. Thus if $V\stackrel{f}{\to}W\stackrel{g}{\to}X$, then

$^t (g\circ f)   = (-1)^{|f||g|}(^t f\circ {}^t g).$\} In particular, for $f$ an isomorphism

\begin{displaymath}
( ^t f)^{-1} = (-1)^{|f|} ^t (f^{-1}).
\end{displaymath}
\hypertarget{duality}{}\subsubsection*{{Duality}}\label{duality}

Let $V$ be a gvs, by convention in the duality

\begin{displaymath}
\langle \quad ; \quad \rangle: V \leftrightarrow \#V,
\end{displaymath}
we will usually assume $V$ is non-negatively graded (so $V = \bigoplus_{p\geq 0}V_p$), whilst the right hand side is non-positively graded.

If $V$ is of finite type then $\#\#V \cong V$, of course. The suspension of the dual $s(\#V)$ can be identified with $\#(s^{-1}V)$ and similarly $s^{-1}(\#V) = \#s(V)$. These identifications are via the rules:

\begin{displaymath}
\begin{aligned}
\langle s^{-1}z;su\rangle &= (-1)^{|z|} \langle z;u \rangle,\\
\langle s z;s^{-1}u  \rangle &= (-1)^{|z|+1}\langle z;u \rangle.\end{aligned}
\end{displaymath}
This sign convention is needed to ensure that $s s^{-1} = id$.

\hypertarget{tensor_products}{}\subsubsection*{{Tensor products}}\label{tensor_products}

The \emph{[[tensor product]]} of two pre-gvs, $V$ and $W$, is $V\otimes W$, where

\begin{displaymath}
(V\otimes W)_n = \bigoplus_{p + q = n}V_p\otimes W_q.
\end{displaymath}
On morphisms

\begin{displaymath}
(f\otimes g) (v\otimes w) = (-1)^{|g||f|}(f(v) \otimes g(w))
\end{displaymath}
and is of degree $|f| + |g|$.

In particular there is a natural injection $(\#V)\otimes (\#W) \to \#(V\otimes W)$, and this is an isomorphism if either $V$ or $W$ is of finite type.

This tensor product makes the category of graded vector spaces into a [[monoidal category]]. This becomes a [[symmetric monoidal category]] with [[braiding]] the evident braiding inherited from the underlying vector spaces.

Notice that given suitable [[cocycles]] on $G$, then $G$-graded vector spaces may be equiped with a non-trivial braiding. For instance on the monoidal category of $\mathbb{Z}/2$-graded vector spaces there is one non-trivial symmetric braiding, up to equivalence. Imposing this yields [[super vector spaces]].

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[graded set]], [[graded object]]


\item [[super vector space]]


\item [[chain complex]]


\item [[differential graded algebra]]



\end{itemize}
[[!redirects graded vector space]] [[!redirects graded vector spaces]] [[!redirects graded module]] [[!redirects graded modules]]



\end{document}