\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{mathbbol}
\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*{geometry of physics -- superalgebra}

\begin{quote}%
this entry is the first section of ``[[geometry of physics -- supergeometry and superphysics|supergeometry and superphysics]]'',

which itself is one chapter of ``[[geometry of physics]]''

next section: \emph{[[geometry of physics -- supergeometry|supergeometry]]}

previous chapter: \emph{[[geometry of physics -- categories and toposes|categories and toposes]]}


\end{quote}
$\,$

$\,$

In [[nLab:Klein geometry]] and [[nLab:Cartan geometry]] the fundamental geometric concept is the [[nLab:symmetry group]] $G$ of the local model [[nLab:space]], which is then recovered as some [[nLab:coset space]] $G/H$. These symmetry groups $G$ are reflected in their [[nLab:categories of representations]] $Rep(G)$, which are certain nice [[nLab:tensor categories]]. In terms of [[nLab:physics]] via [[nLab:Wigner classification]], the [[nLab:irreducible objects]] in $Rep(G)$ label the possible [[nLab:fundamental particle]] species on the [[nLab:spacetime]] $G/H$. Hence if we regard the [[nLab:tensor category]] $Rep(G)$ as the actual fundamental concept, then the natural question is that of \emph{[[nLab:Tannaka duality|Tannaka reconstruction]]}: Given any nice [[nLab:tensor category]], is it [[nLab:equivalence of categories|equivalent]] to $Rep(G)$ for some symmetry group $G$? For [[nLab:rigid monoidal category|rigid]] [[nLab:tensor categories]] in [[nLab:characteristic zero]] subject only to a mild size constraint this is answered by \textbf{[[nLab:Deligne's theorem on tensor categories]]} (theorem \ref{TheTheorem} below): all of them are, but only if we allow $G$ to be a ``[[nLab:supergroup]]''.

\hypertarget{superalgebra}{}\section*{{Superalgebra}}\label{superalgebra}

\noindent\hyperlink{TensorProductsAndMonoidalCategories}{Tensor products and Super vector spaces}\dotfill \pageref*{TensorProductsAndMonoidalCategories} \linebreak
\noindent\hyperlink{CommutativeAlgebraInTensorCategories}{Commutative algebra in tensor categories and Affine super-spaces}\dotfill \pageref*{CommutativeAlgebraInTensorCategories} \linebreak
\noindent\hyperlink{monoids_in_monoidal_categories_and_supercommutative_superalgebra}{Monoids in monoidal categories and Supercommutative superalgebra}\dotfill \pageref*{monoids_in_monoidal_categories_and_supercommutative_superalgebra} \linebreak
\noindent\hyperlink{example_super_lie_algebras_and_super_algebras}{Example: Super Lie algebras and Super $L_\infty$-algebras}\dotfill \pageref*{example_super_lie_algebras_and_super_algebras} \linebreak
\noindent\hyperlink{ZGradedSupercommutativeSuperAlgebra}{$\mathbb{Z}$-Graded Supercommutative superalgebra}\dotfill \pageref*{ZGradedSupercommutativeSuperAlgebra} \linebreak
\noindent\hyperlink{affine_superschemes}{Affine superschemes}\dotfill \pageref*{affine_superschemes} \linebreak
\noindent\hyperlink{ModulesInTensorCategories}{Modules in tensor categories and Super vector bundles}\dotfill \pageref*{ModulesInTensorCategories} \linebreak
\noindent\hyperlink{GroupsAsHopfAlgebras}{Super-Groups as super-commutative Hopf algebras}\dotfill \pageref*{GroupsAsHopfAlgebras} \linebreak
\noindent\hyperlink{LinearRepresentationsAsComodules}{Linear super-representations as Comodules}\dotfill \pageref*{LinearRepresentationsAsComodules} \linebreak
\noindent\hyperlink{FiberFunctors}{Super Fiber functors and their automorphism supergroups}\dotfill \pageref*{FiberFunctors} \linebreak
\noindent\hyperlink{superexterior_powers_and_schur_functors}{Super-exterior powers and Schur functors}\dotfill \pageref*{superexterior_powers_and_schur_functors} \linebreak
\noindent\hyperlink{_tannaka_duality_between_tensor_categories_and_supergroups}{ Tannaka duality between tensor categories and supergroups}\dotfill \pageref*{_tannaka_duality_between_tensor_categories_and_supergroups} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


The beauty of [[supercommutative superalgebra]] (Def. \ref{SupercommutativeSuperalgebra} below) is that it is just [[commutative algebra]] ``[[internalization|internal]]'' to the [[tensor category]] of [[super vector spaces]]. (See the chapter \emph{[[geometry of physics -- categories and toposes|on categories and toposes]]} for the basic concepts of [[categories]] and [[monoidal categories]]). For instance an (affine algebraic) [[supergroup]] (i.e. a super [[symmetry group|symmetry-group]], i.e. a [[supersymmetry|super-symmetry]] group) is just a [[commutative Hopf algebra]] internal to super vector spaces. The beauty of [[super vector spaces]], in turn, is that these are just $\mathbb{Z}/2$-[[graded vector spaces]] equipped with the \emph{unique} non-trivial [[symmetric monoidal category|symmetric braiding]]. Better yet, \emph{all} [[tensor categories]] subject to a mild size constraint are [[equivalence of categories|equivalently]] [[categories of representations]] of [[supergroups]]. This is the main theorem of this section, theorem \ref{TheTheorem} below ([[Deligne's theorem on tensor categories]]).

Here we introduce and explain all this.

We start by introducing the basic concepts of [[tensor categories]] along with the basic examples of [[vector spaces]] and [[super vector spaces]]:

\begin{itemize}%
\item \emph{\hyperlink{TensorProductsAndMonoidalCategories}{Tensor products and Super vector spaces}}

\end{itemize}
This allows to speak of [[commutative algebra]] [[internalization|internal]] to tensor categories. Specializing this to the tensor category of [[super vector spaces]] yields [[supercommutative superalgebras]]. The [[formal duals]] of these are the [[affine variety|affine]] [[super schemes]]. This we discuss in

\begin{itemize}%
\item \emph{\hyperlink{CommutativeAlgebraInTensorCategories}{Commutative algebra in tensor categories and Affine super-spaces}}

\end{itemize}
In the same dual spirit, [[super vector bundles]] over [[affine super schemes]] are algebraically incarnated as ([[finitely generated object|finitely generated]] [[projective module|projctive]]) [[modules]] over [[supercommutative superalgebras]]. This we discuss in

\begin{itemize}%
\item \emph{\hyperlink{ModulesInTensorCategories}{Modules in tensor categories and Super vector bundles}}

\end{itemize}
Next we introduce the concept of [[commutative monoids]] equipped with the structure of a [[commutative Hopf algebras]] and explain how these are [[formal duals]] to [[group objects|groups]]. Then we use this to motivate and explain the concept of (affine algebraic) [[supergroups]] as [[formal duals]] to [[commutative Hopf algebras]] internal to the tensor category of [[super vector spaces]], namely [[supercommutative Hopf algebras]]:

\begin{itemize}%
\item \emph{\hyperlink{GroupsAsHopfAlgebras}{Super-Groups as Super-commutative Hopf algebras}}

\end{itemize}
Then we discuss how under this relationo, then [[linear representations]] of groups correspond to [[comodules]] over their formally dual [[commutative Hopf algebras]], and we introduce the key class of categories of interest here: tensor-[[categories of representations]] of groups and of super-representations of super-groups:

\begin{itemize}%
\item \emph{\hyperlink{LinearRepresentationsAsComodules}{Linear super-representations as comodules}}

\end{itemize}
All such [[categories of representations]] carry a [[fiber functor]]: the [[forgetful functor]] that sends any representation to its underlying representation space. Simple as this is, fiber functors turn out to be the key concept in [[representation theory]]. Notably, every \emph{abstractly} defined super fiber functor gives rise to an affine algebraic supergroup, namely its [[automorphism group]]. We introduce the basics in

\begin{itemize}%
\item \emph{\hyperlink{FiberFunctors}{Super Fiber functors and their automorphism supergroups}}

\end{itemize}
And in fact, under mild conditions this supergorup of automorphisms of the fiber functor of a tensor category is such that the tensor category is equivalently its [[category of representations]]. This statement of [[Tannaka duality]] for [[complex numbers|complex]]-linear tensor categories, due to [[Pierre Deligne]] gives [[superalgebra]] a [[general abstract]] \emph{raison d'\^e{}tre}. We state the theorem and give some broad indication as to how the proof proceeds in the last sub-section

\begin{itemize}%
\item \emph{\hyperlink{TannakaDualityForTensorCategoriesAndSupergroups}{Tannaka duality between tensor categories and supergroups}}

\end{itemize}
\hypertarget{TensorProductsAndMonoidalCategories}{}\subsection*{{Tensor products and Super vector spaces}}\label{TensorProductsAndMonoidalCategories}

\begin{defn}
\label{VectorSpaces}\hypertarget{VectorSpaces}{}
For $k$ a [[field]], we write [[Vect]]${}_k$ for the [[category]] (\href{geometry+of+physics+--+categories+and+toposes#Categories}{this Def.}) whose

\begin{itemize}%
\item [[objects]] are $k$-[[vector spaces]];


\item [[morphisms]] are $k$-[[linear functions]] between these.



\end{itemize}
When the [[ground field]] $k$ is understood or when its precise nature is irrelevant, we will often notationally suppress it and speak of just the category [[Vect]] of vector spaces.

This is the category inside which [[linear algebra]] takes place.

\end{defn}
Of course the category [[Vect]] has some special properties. Not only are its objects ``linear spaces'', but the whole category inherits linear structure of sorts. This is traditionally captured by the following terminology for \textbf{[[additive and abelian categories]]}. Notice that there are several different but equivalent ways to state the following properties (discussed behind the relevant links).

\begin{defn}
\label{AdditiveAndAbelianCategories}\hypertarget{AdditiveAndAbelianCategories}{}
Let $\mathcal{C}$ be a [[category]] (\href{geometry+of+physics+--+categories+and+toposes#Categories}{this Def.}).

\begin{enumerate}%
\item Say that $\mathcal{C}$ has \textbf{[[direct sums]]} if it has [[finite products]] and [[finite coproducts]] and if the canonical comparison morphism between these is an [[isomorphism]]. We write $V \oplus W$ for the direct sum of two objects of $\mathcal{C}$.


\item Say that $\mathcal{C}$ is an \textbf{[[additive category]]} if it has [[direct sums]] and in addition it is [[Ab-enriched category|enriched in abelian groups]], meaning that every [[hom-set]] is equipped with the structure of an [[abelian group]] such that [[composition]] of morphisms is a [[bilinear map]].


\item Say that $\mathcal{C}$ is an \textbf{[[abelian category]]} if it is an [[additive category]] and has property that its [[monomorphisms]] are precisely the inclusions of [[kernels]] and its [[epimorphisms]] are precisely the projections onto [[cokernels]].



\end{enumerate}
\end{defn}
We also make the following definition of $k$-linear category, but notice that conventions differ as to which extra properties beyond [[Vect]]-[[enriched category|enrichment]] to require on a linear category:

\begin{defn}
\label{LinearCategory}\hypertarget{LinearCategory}{}
For $k$ a [[field]] (or more generally just a [[commutative ring]]), call a [[category]] $\mathcal{C}$ a \textbf{$k$-[[linear category]]} if

\begin{enumerate}%
\item it is an [[abelian category]] (def. \ref{AdditiveAndAbelianCategories});


\item its [[hom-sets]] have the structure of $k$-[[vector spaces]] (generally $k$-[[modules]]) such that [[composition]] of morphisms in $\mathcal{C}$ is a [[bilinear map]]



\end{enumerate}
and the underlying additive [[abelian group]] structure of these [[hom-spaces]] is that of the underlying [[abelian category]].

In other words, a $k$-linear category is an [[abelian category]] with the additional structure of a [[Vect]]-[[enriched category]] (generally $k$[[Mod]]-enriched) such that the underlying [[Ab-enriched category|Ab-enrichment]] according to def. \ref{AdditiveAndAbelianCategories} is obtained from the $Vect$-enrichment under the [[forgetful functor]] $Vect \to Ab$.

A [[functor]] between $k$-linear categories is called a \textbf{$k$-[[linear functor]]} if its component functions on [[hom-sets]] are [[linear maps]] with respect to the given $k$-linear structure, hence if it is a [[Vect]]-[[enriched functor]].

\end{defn}
\begin{example}
\label{}\hypertarget{}{}
The category [[Vect]]${}_k$ of [[vector spaces]] (def. \ref{VectorSpaces}) is a $k$-[[linear category]] according to def. \ref{LinearCategory}.

Here the abstract [[direct sum]] is the usual direct sum of [[vector spaces]], whence the name of the general concept.

For $V,W$ two $k$-vector spaces, the vector space structure on the [[hom-set]] $Hom_{Vect}(V,W)$ of [[linear maps]] $\phi \colon V \to W$ is given by ``pointwise'' multiplication and addition of functions:

\begin{displaymath}
(c_1 \phi_1 + c_2 \phi_2)
  \;\colon\,
   v \;\mapsto\;
   c_1 \phi_1(v) + c_2 \phi_2(v)
\end{displaymath}
for all $c_1, c_2 \in k$ and $\phi_1, \phi_2 \in Hom_{Vect}(V,W)$.

\end{example}
Recall the basic construction of the [[tensor product of vector spaces]]:

\begin{defn}
\label{TensorProductOfVectorSpaces}\hypertarget{TensorProductOfVectorSpaces}{}
Given two [[vector spaces]] over some [[field]] $k$, $V_1, V_2 \in Vect_k$, their [[tensor product of vector spaces]] is the vector space denoted

\begin{displaymath}
V_1 \otimes_k V_2 \;\in\; Vect
\end{displaymath}
whose elements are [[equivalence classes]] of [[tuples]] of elements $(v_1,v_2)$ with $v_i \in V_i$, for the [[equivalence relation]] given by

\begin{displaymath}
(c v_1 , v_2) \;\sim\; (v_1, c v_2)
\end{displaymath}
\begin{displaymath}
(v_1 + v'_1 , v_2) \; \sim \; (v_1,v_2) + (v'_1, v_2)
\end{displaymath}
\begin{displaymath}
(v_1 , v_2 + v'_2) \; \sim \; (v_1,v_2) + (v_1, v'_2)
\end{displaymath}
More abstractly this means that the [[tensor product of vector spaces]] is the vector space characterized by the fact that

\begin{enumerate}%
\item it receives a [[bilinear map]]

\begin{displaymath}
V_1 \times V_2 \longrightarrow V_1 \otimes V_2
\end{displaymath}
(out of the [[Cartesian product]] of the underlying sets)


\item any other [[bilinear map]] of the form

\begin{displaymath}
V_1 \times V_2 \longrightarrow V_3
\end{displaymath}
factors through the above bilinear map via a unique [[linear map]]

\begin{displaymath}
\itexarray{
     V_1 \times V_2 &\overset{bilinear}{\longrightarrow}& V_3
     \\
     \downarrow & \nearrow_{\mathrlap{\exists ! \, linear}}
      \\
      V_1 \otimes_k V_2
  }
\end{displaymath}


\end{enumerate}
\end{defn}
The existence of the [[tensor product of vector spaces]], def. \ref{TensorProductOfVectorSpaces}, equips the category [[Vect]] of vector spaces with extra structure, which is a ``[[categorification]]'' of the familiar structure of a [[semi-group]]. One also says ``[[monoid]]'' for [[semi-group]] and therefore [[categories]] equipped with a [[tensor product]] operation are also called \emph{[[monoidal categories]]} (\href{geometry+of+physics+--+categories+and+toposes#MonoidalCategory}{this Def.}):

\begin{defn}
\label{MonoidalCategory}\hypertarget{MonoidalCategory}{}
\textbf{([[monoidal category]])}

A \textbf{[[monoidal category]]} is a [[category]] $\mathcal{C}$ equipped with

\begin{enumerate}%
\item a [[functor]]

\begin{displaymath}
\otimes
     \;\colon\;
   \mathcal{C} \times \mathcal{C}
    \longrightarrow
   \mathcal{C}
\end{displaymath}
out of the [[product category]] of $\mathcal{C}$ with itself, called the \textbf{[[tensor product]]},


\item an object

\begin{displaymath}
1 \in \mathcal{C}
\end{displaymath}
called the \textbf{[[unit object]]} or \textbf{[[tensor unit]]},


\item a [[natural isomorphism]]

\begin{displaymath}
a
    \;\colon\;
  ((-)\otimes (-)) \otimes (-)
    \overset{\simeq}{\longrightarrow}
  (-) \otimes ((-)\otimes(-))
\end{displaymath}
called the \textbf{[[associator]]},


\item a [[natural isomorphism]]

\begin{displaymath}
\ell
\;\colon\;
(1 \otimes (-))
\overset{\simeq}{\longrightarrow}
(-)
\end{displaymath}
called the \textbf{[[left unitor]]}, and a natural isomorphism

\begin{displaymath}
r \;\colon\; (-) \otimes 1 \overset{\simeq}{\longrightarrow} (-)
\end{displaymath}
called the \textbf{[[right unitor]]},



\end{enumerate}
such that the following two kinds of [[commuting diagram|diagrams commute]], for all objects involved:

\begin{enumerate}%
\item \textbf{triangle identity}:

\begin{displaymath}
\itexarray{
     & (x \otimes 1) \otimes y &\stackrel{a_{x,1,y}}{\longrightarrow} & x \otimes (1 \otimes y)
      \\
      & {}_{\rho_x \otimes 1_y}\searrow
      && \swarrow_{1_x \otimes \lambda_y}
      &
     \\
     &&
     x \otimes y
     &&
  }
\end{displaymath}

\item the \textbf{[[pentagon identity]]}:

\begin{displaymath}
\itexarray{
    && (w \otimes x) \otimes (y \otimes z)
    \\
    & {}^{\mathllap{\alpha_{w \otimes x, y, z}}}\nearrow
     &&
    \searrow^{\mathrlap{\alpha_{w,x,y \otimes z}}}
    \\
    ((w \otimes x ) \otimes y) \otimes z
     && &&
    (w \otimes (x \otimes (y \otimes z)))
    \\
    {}^{\mathllap{\alpha_{w,x,y}} \otimes id_z }\downarrow
     && &&
    \uparrow^{\mathrlap{ id_w \otimes \alpha_{x,y,z} }}
    \\
    (w \otimes (x \otimes y)) \otimes z
      && \underset{\alpha_{w,x \otimes y, z}}{\longrightarrow} &&
    w \otimes ( (x \otimes y) \otimes z )
  }
\end{displaymath}


\end{enumerate}
\end{defn}
As expected, we have the following basic example:

\begin{example}
\label{VectAsAMonoidalCategory}\hypertarget{VectAsAMonoidalCategory}{}
\textbf{([[monoidal category]] of [[vector spaces]])}

For $k$ a [[field]], the category [[Vect]]${}_k$ of $k$-[[vector spaces]] becomes a [[monoidal category]] (def. \ref{MonoidalCategory}) as follows

\begin{itemize}%
\item the abstract [[tensor product]] is the [[tensor product of vector spaces]] $\otimes_k$ from def. \ref{TensorProductOfVectorSpaces};


\item the [[tensor unit]] is the [[field]] $k$ itself, regarded as a 1-dimensional vector space over itself;


\item the [[associator]] is the map that on representing [[tuples]] acts as

\begin{displaymath}
\alpha_{V_{1}, V_2, V_3}
     \;\colon\;
 ((v_1, v_2), v_3) \mapsto (v_1, (v_2,v_3))
\end{displaymath}

\item the left [[unitor]] is the map that on representing [[tuples]] is given by

\begin{displaymath}
\ell_{V} \colon (k,v) \mapsto k v
\end{displaymath}
and the right unitor is similarly given by

\begin{displaymath}
r_V \colon (v,k) \mapsto k v
  \,.
\end{displaymath}


\end{itemize}
That this satisifes the [[pentagon identity]] (def. \ref{MonoidalCategory}) and the left and right unit identities is immediate on representing tuples.

\end{example}
But the point of the abstract definition of [[monoidal categories]] is that there are also more exotic examples. The followig one is just a minimal enrichment of example \ref{VectAsAMonoidalCategory}, and yet it will be important.

\begin{example}
\label{GradedVectorSpacesAsAMonoidaCategory}\hypertarget{GradedVectorSpacesAsAMonoidaCategory}{}
\textbf{([[monoidal categories]] of [[graded vector spaces]])}

Let $G$ be a [[group]] (or in fact just a [[monoid]]/[[semi-group]]). A \textbf{$G$-[[graded vector space]]} $V$ is a [[direct sum]] of vector spaces labeled by the elements in $G$:

\begin{displaymath}
V = \underset{g \in G}{\oplus} V_g
  \,.
\end{displaymath}
A [[homomorphism]]

\begin{displaymath}
\phi \;\colon\; V \longrightarrow W
\end{displaymath}
of $G$-graded vector spaces is a [[linear map]] that respects this direct sum structure, hence equivalently a [[direct sum]] of [[linear maps]]

\begin{displaymath}
\phi_g \;\colon\; V_g \longrightarrow W_g
\end{displaymath}
for all $g \in G$, such that

\begin{displaymath}
\phi = \underset{g \in G}{\oplus} \phi_g
  \,.
\end{displaymath}
This defines a [[category]], denoted $Vect^G$. Equip this category with a [[tensor product]] which on the underlying vector spaces is just the [[tensor product of vector spaces]] from def. \ref{TensorProductOfVectorSpaces}, equipped with the $G$-grading which is obtained by multiplying degree labels in $G$:

\begin{displaymath}
(V \otimes W)_g
    \;\coloneqq\;
  \underset{{g_1, g_2 \in G} \atop {g_1 g_2 = g}}{\oplus}
   V_{g_1} \otimes_k V_{g_2}
  \,.
\end{displaymath}
The [[tensor unit]] for the tensor product is the ground field $k$, regarded as being in the degree of the [[neutral element]] $e \in G$

\begin{displaymath}
1_g
  \;=\;
  \left\{
    \itexarray{
      k & | g = e
      \\
      0 & | otherwise
    }
  \right.
  \,.
\end{displaymath}
The [[associator]] and [[unitors]] are just those of the monoidal structure on plain vector spaces, from example \ref{VectAsAMonoidalCategory}.

\end{example}
One advantage of abstracting the concept of a [[monoidal category]] is that it allows to prove general statements uniformly for all kinds of tensor products, familar ones and more exotic ones. The following lemma \ref{kel1} and remark \ref{CoherenceForMonoidalCategories} are two important such statements.

\begin{lemma}
\label{kel1}\hypertarget{kel1}{}
\textbf{(\hyperlink{Kelly64}{Kelly 64})}

Let $(\mathcal{C}, \otimes, 1)$ be a [[monoidal category]], def. \ref{MonoidalCategory}. Then the left and right [[unitors]] $\ell$ and $r$ satisfy the following conditions:

\begin{enumerate}%
\item $\ell_1 = r_1 \;\colon\; 1 \otimes 1 \overset{\simeq}{\longrightarrow} 1$;


\item for all objects $x,y \in \mathcal{C}$ the following [[commuting diagram|diagrams commutes]]:

\begin{displaymath}
\itexarray{
    (1 \otimes x) \otimes y  & &
    \\
    {}^\mathllap{\alpha_{1, x, y}} \downarrow
    & \searrow^\mathrlap{\ell_x \otimes id_y} &
    \\
    1 \otimes (x \otimes y)
    & \underset{\ell_{x \otimes y}}{\longrightarrow} & x \otimes y
  }
  \,;
\end{displaymath}
and

\begin{displaymath}
\itexarray{
    x \otimes (y \otimes 1) & &
    \\
    {}^\mathllap{\alpha^{-1}_{1, x, y}} \downarrow
    & \searrow^\mathrlap{id_x \otimes r_y} &
    \\
    (x \otimes y) \otimes 1
      &
    \underset{r_{x \otimes y}}{\longrightarrow}
      &
    x \otimes y
  }
  \,;
\end{displaymath}


\end{enumerate}
\end{lemma}
For \textbf{proof} see at \emph{[[monoidal category]]} \href{monoidal+category#kel1}{this lemma} and \href{monoidal+category#kel2}{this lemma}.

\begin{remark}
\label{CoherenceForMonoidalCategories}\hypertarget{CoherenceForMonoidalCategories}{}
Just as for an [[associative algebra]] it is sufficient to demand $1 a = a$ and $a 1 = a$ and $(a b) c = a (b c)$ in order to have that expressions of arbitrary length may be re-bracketed at will, so there is a \emph{[[coherence theorem for monoidal categories]]} which states that all ways of freely composing the [[unitors]] and [[associators]] in a [[monoidal category]] (def. \ref{MonoidalCategory}) to go from one expression to another will coincide. Accordingly, much as one may drop the notation for the bracketing in an [[associative algebra]] altogether, so one may, with due care, reason about monoidal categories without always making all unitors and associators explicit.

(Here the qualifier ``freely'' means informally that we must not use any non-formal identification between objects, and formally it means that the diagram in question must be in the image of a [[strong monoidal functor]] from a \emph{free} monoidal category. For example if in a particular monoidal category it so happens that the object $X \otimes (Y \otimes Z)$ is actually \emph{equal} to $(X \otimes Y)\otimes Z$, then the various ways of going from one expression to another using only associators \emph{and} this ``accidental'' equality no longer need to coincide.)

\end{remark}
The above discussion makes it clear that a [[monoidal category]] is like a [[monoid]]/[[semi-group]], but ``[[categorified]]''. Accordingly we may consider additional properties of [[monoids]]/[[semi-groups]] and correspondingly lift them to monoidal categories. A key such property is \emph{[[commutative ring|commutativity]]}. But while for a monoid commutativity is just an extra [[property]], for a [[monoidal category]] it involves choices of commutativity-[[isomorphisms]] and hence is [[stuff, structure and property|extra structure]]. We will see \hyperlink{SuperGroupsAsSuperHopfAlgebras}{below} that this is the very source of [[superalgebra]].

The [[categorification]] of ``commutativity'' comes in two stages: [[braiding]] and [[symmetric monoidal category|symmetric braiding]] (\href{geometry+of+physics+--+categories+and+toposes#BraidedMonoidalCategory}{this Def.} and \href{geometry+of+physics+--+categories+and+toposes#SymmetricMonoidalCategory}{this Def.}).

\begin{defn}
\label{BraidedMonoidalCategory}\hypertarget{BraidedMonoidalCategory}{}
\textbf{([[braided monoidal category]])}

A \textbf{[[braided monoidal category]]}, is a [[monoidal category]] $\mathcal{C}$ (def. \ref{MonoidalCategory}) equipped with a [[natural isomorphism]]

\begin{displaymath}
\tau_{x,y} \;\colon\; x \otimes y \to y \otimes x
\end{displaymath}
(for all [[objects]] $x,y in \mathcal{C}$) called the \textbf{[[braiding]]}, such that the following two kinds of [[commuting diagram|diagrams commute]] for all [[objects]] involved (``hexagon identities''):

\begin{displaymath}
\itexarray{
   (x \otimes y) \otimes z
   &\stackrel{a_{x,y,z}}{\to}&
   x \otimes (y \otimes z)
   &\stackrel{\tau_{x,y \otimes z}}{\to}&
   (y \otimes z) \otimes x
   \\
   \downarrow^{\tau_{x,y}\otimes Id}
   &&&&
   \downarrow^{a_{y,z,x}}
   \\
   (y \otimes x) \otimes z
   &\stackrel{a_{y,x,z}}{\to}&
   y \otimes (x \otimes z)
   &\stackrel{Id \otimes \tau_{x,z}}{\to}&
   y \otimes (z \otimes x)
  }
\end{displaymath}
and

\begin{displaymath}
\itexarray{
   x \otimes (y \otimes z)
   &\stackrel{a^{-1}_{x,y,z}}{\to}&
   (x \otimes y) \otimes z
   &\stackrel{\tau_{x \otimes y, z}}{\to}&
   z \otimes (x \otimes y)
   \\
   \downarrow^{Id \otimes \tau_{y,z}}
   &&&&
   \downarrow^{a^{-1}_{z,x,y}}
   \\
   x \otimes (z \otimes y)
   &\stackrel{a^{-1}_{x,z,y}}{\to}&
   (x \otimes z) \otimes y
   &\stackrel{\tau_{x,z} \otimes Id}{\to}&
   (z \otimes x) \otimes y
  }
  \,,
\end{displaymath}
where $a_{x,y,z} \colon (x \otimes y) \otimes z \to x \otimes (y \otimes z)$ denotes the components of the [[associator]] of $\mathcal{C}^\otimes$.

\end{defn}
\begin{defn}
\label{SymmetricMonoidalCategory}\hypertarget{SymmetricMonoidalCategory}{}
A \textbf{[[symmetric monoidal category]]} is a [[braided monoidal category]] (def. \ref{BraidedMonoidalCategory}) for which the [[braiding]]

\begin{displaymath}
\tau_{x,y} \colon x \otimes y \to y \otimes x
\end{displaymath}
satisfies the condition:

\begin{displaymath}
\tau_{y,x} \circ \tau_{x,y} = 1_{x \otimes y}
\end{displaymath}
for all objects $x, y$

\end{defn}
\begin{remark}
\label{SymmetricMonoidalCategoriesCoherenceTheorem}\hypertarget{SymmetricMonoidalCategoriesCoherenceTheorem}{}
In analogy to the [[coherence theorem for monoidal categories]] (remark \ref{CoherenceForMonoidalCategories}) there is a [[coherence theorem for symmetric monoidal categories]] (def. \ref{SymmetricMonoidalCategory}), saying that every diagram built freely (see remark \ref{SymmetricMonoidalCategoriesCoherenceTheorem}) from [[associators]], [[unitors]] and [[braidings]] such that both sides of the diagram correspond to the same [[permutation]] of objects, coincide.

\end{remark}
Consider the simplest non-trivial special case of $G$-[[graded vector spaces]] from example \ref{GradedVectorSpacesAsAMonoidaCategory}, the case where $G = \mathbb{Z}/2$ is the [[cyclic group of order two]].

\begin{example}
\label{Z2Zgradedvectorspaces}\hypertarget{Z2Zgradedvectorspaces}{}
A \textbf{$\mathbb{Z}/2$-[[graded vector space]]} is a [[direct sum]] of two vector spaces

\begin{displaymath}
V = V_{even} \oplus V_{odd}
  \,,
\end{displaymath}
where we think of $V_{even}$ as the summand that is graded by the [[neutral element]] in $\mathbb{Z}/2$, and of $V_{odd}$ as being the summand that is graded by the single non-trivial element.

A [[homomorphism]] of $\mathbb{Z}/2$-graded vector spaces

\begin{displaymath}
f \;\colon\; V_1 \longrightarrow V_2
\end{displaymath}
is a [[linear map]] of the underlying vector spaces that respects the grading, hence equivalently a pair of linear maps

\begin{displaymath}
f_{even} \;\colon\; (V_1)_{even} \longrightarrow (V_1)_{even}
\end{displaymath}
\begin{displaymath}
f_{odd} \;\colon\; (V_1)_{odd} \longrightarrow (V_1)_{odd}
\end{displaymath}
between then summands in even degree and in odd degree, respectively:

\begin{displaymath}
f = f_{even} \oplus f_{odd}
  \,.
\end{displaymath}
The [[tensor product]] of $\mathbb{Z}/2$-graded vector space is the [[tensor product of vector spaces]] of the underlying vector spaces, but with the grading obtained from multiplying the original gradings in $\mathbb{Z}/2$. Hence

\begin{displaymath}
(V_1 \otimes V_2)_{even}
    \;\coloneqq\;
  \left((V_1)_{even} \otimes (V_2)_{even}\right)
    \oplus
  \left((V_1)_{odd} \otimes (V_2)_{odd}\right)
\end{displaymath}
and

\begin{displaymath}
(V_1 \otimes V_2)_{odd}
    \;\coloneqq\;
  \left((V_1)_{even} \otimes (V_2)_{odd}\right)
    \oplus
  \left((V_1)_{odd} \otimes (V_2)_{even}\right)
  \,.
\end{displaymath}
As in example \ref{GradedVectorSpacesAsAMonoidaCategory}, this definition makes $\mathbb{Z}/2$ a [[monoidal category]] def. \ref{MonoidalCategory}.

\end{example}
\begin{prop}
\label{TheTwoNontrivialBraidingsOnZ2GradedVectorSpaces}\hypertarget{TheTwoNontrivialBraidingsOnZ2GradedVectorSpaces}{}
There are, up to [[braided monoidal functor|braided monoidal]] [[equivalence of categories]], precisely two choices for a [[symmetric monoidal category|symmetric]] [[braiding]] (def. \ref{SymmetricMonoidalCategory})

\begin{displaymath}
V_1 \otimes V_2
     \stackrel{\tau_{V_1,V_2}}{\longrightarrow}
  V_2 \otimes V_1
\end{displaymath}
on the [[monoidal category]] $(Vect_k^{\mathbb{Z}/2}, \otimes_k)$ of $\mathbb{Z}/2$-[[graded vector spaces]] from def. \ref{Z2Zgradedvectorspaces}:

\begin{enumerate}%
\item the \textbf{trivial braiding} which is the [[natural transformation|natural]] [[linear map]] given on tuples $(v_1,v_2)$ representing an element in $V_1 \otimes V_2$ (according to def. \ref{TensorProductOfVectorSpaces}) by

\begin{displaymath}
\tau^{triv}_{V_1, V_2} \;\colon\; (v_1,v_2) \mapsto (v_2, v_1)
\end{displaymath}

\item the \textbf{super-braiding} which is the [[natural transformation|natural]] [[linear function]] given on tuples $(v_1,v_2)$ of \emph{homogeneous degree} (i.e. $v_i \in (V_i)_{\sigma_i} \hookrightarrow V_i$, for $\sigma_i \in \mathbb{Z}/2$) by

\begin{displaymath}
\tau^{super}_{V_1, V_2}
     \;\colon\;
  (v_1, v_2)
     \mapsto
  (-1)^{deg(v_1) deg(v_2)}
  \,
  (v_2,v_1)
  \,.
\end{displaymath}


\end{enumerate}
\end{prop}
\begin{proof}
For $(\mathcal{C}, \otimes, 1)$ a [[monoidal category]], write

\begin{displaymath}
(Line(\mathcal{C}), \otimes, 1)
    \hookrightarrow
  (\mathcal{C}, \otimes, 1)
\end{displaymath}
for the [[full subcategory]] on those $L \in \mathcal{C}$ which are [[invertible objects]] under the [[tensor product]], i.e. such that there is an object $L^{-1} \in \mathcal{C}$ with $L \otimes L^{-1} \simeq 1$ and $L^{-1} \otimes L \simeq 1$. Since the [[tensor unit]] is clearly in $Line(L)$ (with $1^{-1} \simeq 1$) and since with $L_1, L_2 \in Line(\mathcal{C}) \hookrightarrow \mathcal{C}$ also $L_1 \otimes L_2 \in Line(\mathcal{C})$ (with $(L_1 \otimes L_2)^{-1} \simeq L_2^{-1} \otimes L_1^{-1}$) the [[monoidal category]] structure on $\mathcal{C}$ restricts to $Line(\mathcal{C})$.

Accordingly any [[braiding]] on $(\mathcal{C}, \otimes,1)$ restricts to a braiding on $(Line(\mathcal{C}), \otimes, 1)$. Hence it is sufficient to show that there is an essentially unique non-trivial symmetric braiding on $(Line(\mathcal{C}), \otimes, 1)$, and that this is the restriction of a braiding on $(\mathcal{C}, \otimes, 1)$.

Now $(Line(\mathcal{C}, \otimes , 1))$ is necessarily a [[groupoid]] (the ``[[Picard groupoid of a monoidal category|Picard groupoid]]'' of $\mathcal{C}$) and in fact is what is called a \emph{[[2-group]]}. As such we may regard it equivalently as a [[homotopy 1-type]] with group structure, and as such it it is equivalent to its [[delooping]]

\begin{displaymath}
B_\otimes Line(\mathcal{C})
\end{displaymath}
regarded as a [[pointed homotopy type]]. (See at \emph{[[looping and delooping]]}).

The [[Grothendieck group]] of $(\mathcal{C}, \otimes, 1)$ is

\begin{displaymath}
\pi_0(Line(\mathcal{C}))
    \simeq
  \pi_1(B Line(\mathcal{C}))
\end{displaymath}
the [[fundamental group]] of the delooping space.

Now a symmetric braiding on $Line(\mathcal{C})$ is precisely the structure that makes it a [[symmetric 2-group]] which is equivalently the structure of a second [[delooping]] $B^2 Line(\mathcal{C})$ (for the braiding) and then a third delooping $B^3 Line(\mathcal{C})$ (for the symmetry), regarded as a [[pointed homotopy type]].

This way we have rephrased the question equivalently as a question about the possible [[k-invariants]] of spaces of this form.

Now in the case at hand, $Line(Vect^{\mathbb{Z}/2})$ has precisely two [[isomorphism classes]] of objects, namely the [[ground field]] $k$ itself, regarded as being in even degree and regarded as being in odd degree. We write $k^{1\vert 0}$ and $k^{0 \vert 1}$ for these, respectively. By the rules of the tensor product of [[graded vector spaces]] we have

\begin{displaymath}
k^{1\vert 0} \otimes_k k^{1\vert 0} \simeq k^{1\vert 0}
\end{displaymath}
\begin{displaymath}
k^{1\vert 0} \otimes_k k^{0\vert 1} \simeq k^{0\vert 1}
\end{displaymath}
and

\begin{displaymath}
k^{0 \vert 1} \otimes_k k^{0 \vert 1} \simeq k^{1 \vert 0}
  \,.
\end{displaymath}
In other words

\begin{displaymath}
\pi_0(Line(Vect^{\mathbb{Z}/2})) \simeq \mathbb{Z}/2
  \,.
\end{displaymath}
Now under the above homotopical identification the non-trivial braiding is identified with the elements

\begin{displaymath}
1 =
  k^{1 \vert 0}
     \simeq
  k^{0\vert 1} \otimes_k k^{0 \vert 1}
    \stackrel{\tau^{super}_{k^{0\vert 1}, k^{0 \vert 1}}}{\longrightarrow}
  k^{0\vert 1} \otimes_k k^{0\vert 1}
    \simeq
  k^{1 \vert 0}
  = 1
\end{displaymath}
Due to the [[symmetric monoidal category|symmetry]] condition (def. \ref{SymmetricMonoidalCategory}) we have

\begin{displaymath}
(\tau^{super}_{k^{0\vert 1}, k^{0 \vert 1}})^2 = id
\end{displaymath}
which implies that

\begin{displaymath}
\tau^{super}_{k^{0\vert 1}, k^{0 \vert 1}}
  \in
  \{+ id, -id\}
  \,.
\end{displaymath}
Therefore for classifying just the symmetric braidings, it is sufficient to restrict the [[hom-spaces]] in $Line(Vect^{\mathbb{Z}/2})$ from being either $k$ or empty, to [[hom-sets]] being $\mathbb{Z}/2 = \{+1-1\} \hookrightarrow k$ or empty. Write $\widetilde{Line}(Vect^{\mathbb{Z}/2})$ for the resulting [[2-group]].

In conclusion then the [[equivalence classes]] of possible [[k-invariants]] of $B^3 Line(Vect^{\mathbb{Z}/2})$, hence the possible symmetric braiding on $Line(Vect^{\mathbb{Z}/2})$ are in the degree-4 [[ordinary cohomology]] of the [[Eilenberg-MacLane space]] $K(\mathbb{Z}/2,3)$ with [[coefficients]] in $\mathbb{Z}/2$. One finds (\ldots{})

\begin{displaymath}
H^4(K(\mathbb{Z}/2, 3), \mathbb{Z}/2)
  \;\simeq\;
  \mathbb{Z}/2
  \,.
\end{displaymath}
\end{proof}
\begin{defn}
\label{CategoryOfSuperVectorSpaces}\hypertarget{CategoryOfSuperVectorSpaces}{}
The [[symmetric monoidal category]] (def. \ref{SymmetricMonoidalCategory})

\begin{itemize}%
\item whose underlying [[monoidal category]] is that of $\mathbb{Z}/2$-[[graded vector spaces]] (example \ref{Z2Zgradedvectorspaces});


\item whose [[braiding]] (def. \ref{BraidedMonoidalCategory}) is the unique non-trivial symmtric grading $\tau^{super}$ from prop. \ref{TheTwoNontrivialBraidingsOnZ2GradedVectorSpaces} is called the \textbf{[[category of super vector spaces]]}



\end{itemize}
\begin{displaymath}
sVect_k
    \;\coloneqq\;
  (Vect_k^{\mathbb{Z}/2}, \otimes = \otimes_k, 1 = k, \tau = \tau^{super} )
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
The non-full symmetric monoidal subcategory

\begin{displaymath}
(\widetilde{Line}(sVect), \otimes_k, k, \tau^{super})
\end{displaymath}
of

\begin{displaymath}
(Line(sVect) , \otimes_k, k, \tau^{super})
    \hookrightarrow
  (sVect, \otimes_k, k, \tau^{super})
\end{displaymath}
(on the two objects $k^{1\vert 0}$ and $k^{0\vert 1}$ and with [[hom-sets]] restricted to $\{+1,-1\} \subset k$, as in the proof of prop. \ref{TheTwoNontrivialBraidingsOnZ2GradedVectorSpaces}) happens to be the [[truncated object of an (infinity,1)-category|1-truncation]] of the [[looping]] of the [[sphere spectrum]] $\mathbb{S}$, regarded as a group-like [[E-infinity space]] (``[[abelian infinity-group]]'')

\begin{displaymath}
(\widetilde{Line}(sVect), \otimes, k, \tau^{super})
  \;\simeq\;
  \trunc_1 \Omega \mathbb{S}
  \,.
\end{displaymath}
It has been suggested (in \href{super+algebra#Kapranov15}{Kapranov 15}) that this and other phenomena are evidence that in the wider context of [[homotopy theory]]/[[stable homotopy theory]] super-grading (and hence [[superalgebra]]) is to be regarded as but a shadow of grading in [[higher algebra]] over the [[sphere spectrum]]. Notice that the [[sphere spectrum]] is just the analog of the group of [[integers]] in [[stable homotopy theory]].

\end{remark}
The following is evident but important

\begin{defn}
\label{InclusionOfVectorSpacesIntoSupervectorSpaces}\hypertarget{InclusionOfVectorSpacesIntoSupervectorSpaces}{}
The canonical inclusion

\begin{displaymath}
Vect_k \hookrightarrow sVect_k
\end{displaymath}
of the category of vector spaces (def. \ref{VectorSpaces}) into that of [[super vector spaces]] (def. \ref{CategoryOfSuperVectorSpaces}) given by regarding a vector space as a super-vector space concentrated in even degree, extends to a [[braided monoidal functor]] (def. \ref{LaxMonoidalFunctor}).

\end{defn}
\begin{defn}
\label{ClosedMonoidalCategory}\hypertarget{ClosedMonoidalCategory}{}
Given a [[symmetric monoidal category]] $\mathcal{C}$ with [[tensor product]] $\otimes$ (def. \ref{SymmetricMonoidalCategory}) it is called a \textbf{[[closed monoidal category]]} if for each $Y \in \mathcal{C}$ the functor $Y \otimes(-)\simeq (-)\otimes Y$ has a [[right adjoint]], denoted $hom(Y,-)$

\begin{displaymath}
\mathcal{C}
    \underoverset
      {\underset{hom(Y,-)}{\longrightarrow}}
      {\overset{(-) \otimes Y}{\longleftarrow}}
      {\bot}
  \mathcal{C}
  \,,
\end{displaymath}
hence if there are [[natural bijections]]

\begin{displaymath}
Hom_{\mathcal{C}}(X \otimes Y, Z)
   \;\simeq\;
  Hom_{\mathcal{C}}{C}(X, hom(Y,Z))
\end{displaymath}
for all objects $X,Z \in \mathcal{C}$.

Since for the case that $X = 1$ is the [[tensor unit]] of $\mathcal{C}$ this means that

\begin{displaymath}
Hom_{\mathcal{C}}(1,hom(Y,Z)) \simeq Hom_{\mathcal{C}}(Y,Z)
  \,,
\end{displaymath}
the object $hom(Y,Z) \in \mathcal{C}$ is an enhancement of the ordinary [[hom-set]] $Hom_{\mathcal{C}}(Y,Z)$ to an object in $\mathcal{C}$. Accordingly, it is also called the \textbf{[[internal hom]]} between $Y$ and $Z$.

\end{defn}
In a [[closed monoidal category]], the adjunction isomorphism between [[tensor product]] and [[internal hom]] even holds internally:

\begin{prop}
\label{TensorHomAdjunctionIsoInternally}\hypertarget{TensorHomAdjunctionIsoInternally}{}
In a [[symmetric monoidal category|symmetric]] [[closed monoidal category]] (def. \ref{ClosedMonoidalCategory}) there are [[natural isomorphisms]]

\begin{displaymath}
hom(X \otimes Y, Z)
   \;\simeq\;
  hom(X, hom(Y,Z))
\end{displaymath}
whose image under $Hom_{\mathcal{C}}(1,-)$ are the defining [[natural bijections]] of def. \ref{ClosedMonoidalCategory}.

\end{prop}
\begin{proof}
Let $A \in \mathcal{C}$ be any object. By applying the defining natural bijections twice, there are composite natural bijections

\begin{displaymath}
\begin{aligned}
    Hom_{\mathcal{C}}(A , hom(X \otimes Y, Z))
    & \simeq
    Hom_{\mathcal{C}}(A \otimes (X \otimes Y), Z)
    \\
    & \simeq
    Hom_{\mathcal{C}}((A \otimes X)\otimes Y, Z)
    \\
    & \simeq
    Hom_{\mathcal{C}}(A \otimes X, hom(Y,Z))
    \\
    & \simeq
    Hom_{\mathcal{C}}(A, hom(X,hom(Y,Z)))
  \end{aligned}
  \,.
\end{displaymath}
Since this holds for all $A$, the [[Yoneda lemma]] (the [[fully faithful functor|fully faithfulness]] of the [[Yoneda embedding]]) says that there is an isomorphism $hom(X\otimes Y, Z) \simeq hom(X,hom(Y,Z))$. Moreover, by taking $A = 1$ in the above and using the left [[unitor]] isomorphisms $A \otimes (X \otimes Y) \simeq X \otimes Y$ and $A\otimes X \simeq X$ we get a [[commuting diagram]]

\begin{displaymath}
\itexarray{
    Hom_{\mathcal{C}}(1,hom(X\otimes Y, ))
      &\overset{\simeq}{\longrightarrow}&
    Hom_{\mathcal{C}}(1,hom(X,hom(Y,Z)))
    \\
    {}^{\mathllap{\simeq}}\downarrow
      &&
    \downarrow^{\mathrlap{\simeq}}
    \\
    Hom_{\mathcal{C}}(X \otimes Y, Z)
     &\overset{\simeq}{\longrightarrow}&
    Hom_{\mathcal{C}}(X, hom(Y,Z))
  }
  \,.
\end{displaymath}
\end{proof}
\begin{defn}
\label{LaxMonoidalFunctor}\hypertarget{LaxMonoidalFunctor}{}
Let $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}} )$ be two (pointed) [[topologically enriched category|topologically enriched]] [[monoidal categories]] (def. \ref{MonoidalCategory}). A \textbf{lax monoidal functor} between them is

\begin{enumerate}%
\item a [[functor]]

\begin{displaymath}
F \;\colon\; \mathcal{C} \longrightarrow \mathcal{D}
  \,,
\end{displaymath}

\item a [[morphism]]

\begin{displaymath}
\epsilon \;\colon\; 1_{\mathcal{D}} \longrightarrow F(1_{\mathcal{C}})
\end{displaymath}

\item a [[natural transformation]]

\begin{displaymath}
\mu_{x,y}
    \;\colon\;
  F(x) \otimes_{\mathcal{D}} F(y)
    \longrightarrow
  F(x \otimes_{\mathcal{C}} y)
\end{displaymath}
for all $x,y \in \mathcal{C}$



\end{enumerate}
satisfying the following conditions:

\begin{enumerate}%
\item \textbf{([[associativity]])} For all objects $x,y,z \in \mathcal{C}$ the following [[commuting diagram|diagram commutes]]

\begin{displaymath}
\itexarray{
    (F(x) \otimes_{\mathcal{D}} F(y)) \otimes_{\mathcal{D}} F(z)
      &\underoverset{\simeq}{a^{\mathcal{D}}_{F(x),F(y),F(z)}}{\longrightarrow}&
    F(x) \otimes_{\mathcal{D}}( F(y)\otimes_{\mathcal{D}} F(z) )
    \\
    {}^{\mathllap{\mu_{x,y} \otimes id}}\downarrow
      &&
    \downarrow^{\mathrlap{id\otimes \mu_{y,z}}}
    \\
    F(x \otimes_{\mathcal{C}} y) \otimes_{\mathcal{D}} F(z)
     &&
    F(x) \otimes_{\mathcal{D}} ( F(x \otimes_{\mathcal{C}} y) )
    \\
    {}^{\mathllap{\mu_{x \otimes_{\mathcal{C}} y , z} } }\downarrow
      &&
    \downarrow^{\mathrlap{\mu_{ x, y \otimes_{\mathcal{C}} z  }}}
    \\
    F( ( x \otimes_{\mathcal{C}} y ) \otimes_{\mathcal{C}} z  )
      &\underset{F(a^{\mathcal{C}}_{x,y,z})}{\longrightarrow}&
    F( x \otimes_{\mathcal{C}} ( y \otimes_{\mathcal{C}} z ) )
  }
  \,,
\end{displaymath}
where $a^{\mathcal{C}}$ and $a^{\mathcal{D}}$ denote the [[associators]] of the monoidal categories;


\item \textbf{([[unitality]])} For all $x \in \mathcal{C}$ the following [[commuting diagram|diagrams commutes]]

\begin{displaymath}
\itexarray{
    1_{\mathcal{D}} \otimes_{\mathcal{D}} F(x)
      &\overset{\epsilon \otimes id}{\longrightarrow}&
    F(1_{\mathcal{C}}) \otimes_{\mathcal{D}} F(x)
    \\
    {}^{\mathllap{\ell^{\mathcal{D}}_{F(x)}}}\downarrow
      &&
    \downarrow^{\mathrlap{\mu_{1_{\mathcal{C}}, x }}}
    \\
    F(x)
      &\overset{F(\ell^{\mathcal{C}}_x )}{\longleftarrow}&
    F(1 \otimes_{\mathcal{C}} x  )
  }
\end{displaymath}
and

\begin{displaymath}
\itexarray{
    F(x) \otimes_{\mathcal{D}}  1_{\mathcal{D}}
      &\overset{id \otimes \epsilon }{\longrightarrow}&
    F(x) \otimes_{\mathcal{D}}  F(1_{\mathcal{C}})
    \\
    {}^{\mathllap{r^{\mathcal{D}}_{F(x)}}}\downarrow
      &&
    \downarrow^{\mathrlap{\mu_{x, 1_{\mathcal{C}} }}}
    \\
    F(x)
      &\overset{F(r^{\mathcal{C}}_x )}{\longleftarrow}&
    F(x \otimes_{\mathcal{C}} 1  )
  }
  \,,
\end{displaymath}
where $\ell^{\mathcal{C}}$, $\ell^{\mathcal{D}}$, $r^{\mathcal{C}}$, $r^{\mathcal{D}}$ denote the left and right [[unitors]] of the two monoidal categories, respectively.



\end{enumerate}
If $\epsilon$ and all $\mu_{x,y}$ are [[isomorphisms]], then $F$ is called a \textbf{[[strong monoidal functor]]}.

If moreover $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}} )$ are equipped with the structure of [[braided monoidal categories]] (def. \ref{BraidedMonoidalCategory}) with [[braidings]] $\tau^{\mathcal{C}}$ and $\tau^{\mathcal{D}}$, respectively, then the lax monoidal functor $F$ is called a \textbf{[[braided monoidal functor]]} if in addition the following [[commuting diagram|diagram commutes]] for all objects $x,y \in \mathcal{C}$

\begin{displaymath}
\itexarray{
    F(x) \otimes_{\mathcal{C}} F(y)
      &\overset{\tau^{\mathcal{D}}_{F(x), F(y)}}{\longrightarrow}&
    F(y) \otimes_{\mathcal{D}} F(x)
    \\
    {}^{\mathllap{\mu_{x,y}}}\downarrow
      &&
    \downarrow^{\mathrlap{\mu_{y,x}}}
    \\
    F(x \otimes_{\mathcal{C}} y )
      &\underset{F(\tau^{\mathcal{C}}_{x,y}  )}{\longrightarrow}&
    F( y \otimes_{\mathcal{C}} x )
  }
  \,.
\end{displaymath}
A [[homomorphism]] $f\;\colon\; (F_1,\mu_1, \epsilon_1) \longrightarrow (F_2, \mu_2, \epsilon_2)$ between two (braided) lax monoidal functors is a \textbf{[[monoidal natural transformation]]}, in that it is a [[natural transformation]] $f_x \;\colon\; F_1(x) \longrightarrow F_2(x)$ of the underlying functors

compatible with the product and the unit in that the following [[commuting diagram|diagrams commute]] for all objects $x,y \in \mathcal{C}$:

\begin{displaymath}
\itexarray{
    F_1(x) \otimes_{\mathcal{D}} F_1(y)
      &\overset{f(x)\otimes_{\mathcal{D}} f(y)}{\longrightarrow}&
    F_2(x) \otimes_{\mathcal{D}} F_2(y)
    \\
    {}^{\mathllap{(\mu_1)_{x,y}}}\downarrow
     &&
    \downarrow^{\mathrlap{(\mu_2)_{x,y}}}
    \\
    F_1(x\otimes_{\mathcal{C}} y)
     &\underset{f(x \otimes_{\mathcal{C}} y ) }{\longrightarrow}&
    F_2(x \otimes_{\mathcal{C}} y)
  }
\end{displaymath}
and

\begin{displaymath}
\itexarray{
    && 1_{\mathcal{D}}
    \\
    & {}^{\mathllap{\epsilon_1}}\swarrow && \searrow^{\mathrlap{\epsilon_2}}
    \\
    F_1(1_{\mathcal{C}})
     &&\underset{f(1_{\mathcal{C}})}{\longrightarrow}&&
    F_2(1_{\mathcal{C}})
  }
  \,.
\end{displaymath}
We write $MonFun(\mathcal{C},\mathcal{D})$ for the resulting [[category]] of lax monoidal functors between monoidal categories $\mathcal{C}$ and $\mathcal{D}$, similarly $BraidMonFun(\mathcal{C},\mathcal{D})$ for the category of braided monoidal functors between [[braided monoidal categories]], and $SymMonFun(\mathcal{C},\mathcal{D})$ for the category of braided monoidal functors between [[symmetric monoidal categories]].

\end{defn}
\begin{remark}
\label{SymmetricMonoidalFunctor}\hypertarget{SymmetricMonoidalFunctor}{}
In the literature the term ``monoidal functor'' often refers by default to what in def. \ref{LaxMonoidalFunctor} is called a \emph{strong monoidal functor}.

If $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}} )$ are [[symmetric monoidal categories]] (def. \ref{SymmetricMonoidalCategory}) then a [[braided monoidal functor]] (def. \ref{LaxMonoidalFunctor}) between them is often called a \textbf{[[symmetric monoidal functor]]}.

\end{remark}
\begin{example}
\label{}\hypertarget{}{}
Let $\mathcal{A}$ be the [[symmetric monoidal category]] of $\mathbb{Z}/2$-[[graded vector spaces]] $Vect^{\mathbb{Z}/2}$ (example \ref{Z2Zgradedvectorspaces}) or of [[super vector spaces]] $sVect$ (example \ref{CategoryOfSuperVectorSpaces}). Then there is an evident [[forgetful functor]]

\begin{displaymath}
\mathcal{A} \longrightarrow Vect
\end{displaymath}
to the category of plain [[vector spaces]], which forgets the grading.

In both cases this is a [[strong monoidal functor]] (def. \ref{LaxMonoidalFunctor}) For $\mathcal{A} = Vect^{\mathbb{Z}/2}$ it is also a [[braided monoidal functor]], but for $\mathcal{A} = sVect$ it is not.

\end{example}
\begin{prop}
\label{MonoidalFunctorComp}\hypertarget{MonoidalFunctorComp}{}
For $\mathcal{C} \overset{F}{\longrightarrow} \mathcal{D} \overset{G}{\longrightarrow} \mathcal{E}$ two composable [[lax monoidal functors]] (def. \ref{LaxMonoidalFunctor}) between [[monoidal categories]], then their composite $F \circ G$ becomes a lax monoidal functor with structure morphisms

\begin{displaymath}
\epsilon^{G\circ F}
    \;\colon\;
  1_{\mathcal{E}}
    \overset{\epsilon^G}{\longrightarrow}
  G(1_{\mathcal{D}})
    \overset{G(\epsilon^F)}{\longrightarrow}
  G(F(1_{\mathcal{C}}))
\end{displaymath}
and

\begin{displaymath}
\mu^{G \circ F}_{c_1,c_2}
  \;\colon\;
  G(F(c_1)) \otimes_{\mathcal{E}} G(F(c_2))
   \overset{\mu^{G}_{F(c_1), F(c_2)}}{\longrightarrow}
  G( F(c_1) \otimes_{\mathcal{D}} F(c_2) )
    \overset{G(\mu^F_{c_1,c_2})}{\longrightarrow}
  G(F( c_1 \otimes_{\mathcal{C}} c_2 ))
  \,.
\end{displaymath}
\end{prop}
We now discuss one more extra property on monoidal categories

\begin{defn}
\label{DualizableObject}\hypertarget{DualizableObject}{}
Let $(\mathcal{C},\otimes, 1)$ be a [[monoidal category]] (def. \ref{MonoidalCategory})

Then right \textbf{[[duality]]} between objects $A, A^\ast \in (\mathcal{C}, \otimes, 1)$

consists of

\begin{enumerate}%
\item a [[morphism]] of the form

\begin{displaymath}
ev_A\;\colon\;A^\ast \otimes A \longrightarrow 1
\end{displaymath}
called the \emph{counit} of the duality, or the \emph{[[evaluation]] map};


\item a [[morphism]] of the form

\begin{displaymath}
i_A \;\colon\; 1 \longrightarrow A \otimes A^\ast
\end{displaymath}
called the \emph{unit} or \emph{coevaluation map}



\end{enumerate}
such that

\begin{itemize}%
\item ([[triangle identity]]) the following [[commuting diagram|diagrams commute]]

\begin{displaymath}
\itexarray{
     A^\ast \otimes (A \otimes A^\ast)
    &\overset{id_{A^\ast} \otimes i_A}{\longleftarrow}&
     A^\ast \otimes 1
     \\
     {}^{\mathllap{\alpha^{-1}_{A^\ast,A, A^\ast}}}_{\mathllap{\simeq}}\downarrow
     &&
     \downarrow^{\mathrlap{\ell^{-1}_A \circ r_A}}_{\mathrlap{\simeq}}
     \\
     (A^\ast \otimes A) \otimes A^\ast
    &\underset{ev_A \otimes id_{A^\ast}}{\longrightarrow}&
     1 \otimes A^\ast
  }
\end{displaymath}
and

\begin{displaymath}
\itexarray{
     (A \otimes A^\ast)  \otimes A
    &\overset{i_A \otimes id_A}{\longleftarrow}&
     1 \otimes A
     \\
     {}^{\mathllap{\alpha_{A,A^\ast, A}}}_{\mathllap{\simeq}}\downarrow
     &&
     \downarrow^{\mathrlap{r_A^{-1}\circ \ell_A}}_{\mathrlap{\simeq}}
     \\
     A \otimes (A^\ast \otimes A)
    &\underset{id_A \otimes ev_A}{\longrightarrow}&
     A \otimes 1
  }
\end{displaymath}
where $\alpha$ denotes the [[associator]] of the [[monoidal category]] $\mathcal{C}$, and $\ell$ and $r$ denote the left and right [[unitors]], respectively.



\end{itemize}
We say that $A^\ast$ is the right [[dual object]] to $A$. Similarly a left dual for $A$ is an object $A^\ast$ and the structure of $A$ as a right dual of $A^\ast$. If $(\mathcal{C}, \otimes, 1)$ is equipped with the structure of a [[braided monoidal category]], then every right dual is canonically also a left dual.

If in a [[monoidal category]] $(\mathcal{C}, \otimes, 1)$ every object has a left and right dual, then it is called a \textbf{[[rigid monoidal category]]}.

\end{defn}
\begin{example}
\label{FiniteDimensionalVectorSpaces}\hypertarget{FiniteDimensionalVectorSpaces}{}
Let

\begin{displaymath}
FinVect_k \hookrightarrow Vect_k
\end{displaymath}
be the [[full subcategory]] of that of all [[vector spaces]] (over the given [[ground field]] $k$) on those which are \textbf{[[finite dimensional vector spaces]]}.

Clearly the [[tensor product of vector spaces]] (def. \ref{TensorProductOfVectorSpaces}) restricts to those of [[finite number|finite]] [[dimension]], and so there is the induced [[monoidal category]] structure from example \ref{VectAsAMonoidalCategory}

\begin{displaymath}
(FinVect_k, \otimes = \otimes_k, 1 = k )
   \hookrightarrow
  (Vect_k, \otimes_k, k)
  \,.
\end{displaymath}
This is a a [[rigid monoidal category]] (def. \ref{DualizableObject}) in that for $V$ any [[finite dimensional vector spaces]], its ordinary linear [[dual vector space]]

\begin{displaymath}
V^\ast \coloneqq hom(V,k)
\end{displaymath}
is a [[dual object]] in the abstract sense of def. \ref{DualizableObject}.

Here the evaluation map is literally the defining [[evaluation]] map of linear duals (whence the name of the abstract concept)

\begin{displaymath}
ev_{V} \;\colon\;  V^\ast \otimes_k V \simeq hom(V,k) \otimes_k k \overset{}{\longrightarrow} k
\end{displaymath}
\begin{displaymath}
ev
    \;\colon\;
  (V \stackrel{\phi}{\to} k, v)
  \;\;\mapsto \;\;
  \phi(v)
  \,.
\end{displaymath}
The co-evaluation map

\begin{displaymath}
i_V
    \;\colon\;
  k \longrightarrow V \otimes V^\ast
\end{displaymath}
is the linear map that sends $1 \in k$ to $id_V \in End(V) \simeq V \otimes_k V^\ast$ under the canonical identification of $V \otimes_k V^\ast$ with the linear space of [[linear map|linear]] [[endomorphisms]] of $V$.

If we choose a [[linear basis]] $\{e_i\}$ for $V$ and a corresponding dual bases $\{e^i\}$ of $V^\ast$, then the evaluation map is given by

\begin{displaymath}
ev \;\colon\; (e^i, e_j) \mapsto e^i(e_j) =  \delta^i_j
\end{displaymath}
(with the [[Kronecker delta]] on the right) and the co-evaluation map is given by

\begin{displaymath}
1 \mapsto \underset{i}{\sum} (e_i,  e^i)
  \,.
\end{displaymath}
In this perspective the [[triangle identities]] are the statements that

\begin{displaymath}
\underset{j}{\sum} e^i(e_j) e^j = e^i
\end{displaymath}
and

\begin{displaymath}
\underset{j}{\sum} e_j e^j(e_i) = e_i
  \,.
\end{displaymath}
Physicists will recognize this as just the basic rules for [[tensor]] calculus in index-notation.

\end{example}
\begin{example}
\label{FiniteDimensionalSuperVectorSpaces}\hypertarget{FiniteDimensionalSuperVectorSpaces}{}
Similarly, the full subcategory

\begin{displaymath}
(sFinVect, \otimes_k, k, \tau^{super})
    \hookrightarrow
  (sVect, \otimes_k, k, \tau^{super})
\end{displaymath}
of the [[symmetric monoidal category]] of [[super vector spaces]] from example \ref{CategoryOfSuperVectorSpaces}, on those of finite total dimension is a [[rigid monoidal category]].

Here we say that a [[super vector space]] $V$ has [[dimension]]

\begin{displaymath}
(p\vert q)
  \in \mathbb{N} \times \mathbb{N}
\end{displaymath}
if its even part has dimension $p$ and its odd part has dimension $q$:

\begin{displaymath}
dim(V) = (p\vert q)
   \;\;\;
   \Leftrightarrow
   \;\;\;
  \left( dim(V_{even}) = p \;\;\;\;\text{and}\;\;\;\; dim(V_{odd}) = q \right)
  \,.
\end{displaymath}
The [[dual object]] of such a finite dimensional super vector space is just the linear [[dual vector space]] as in example \ref{FiniteDimensionalVectorSpaces}, equipped with the evident grading:

\begin{displaymath}
V = V_{even} \oplus V_{odd}
  \;\;\;\; \Rightarrow
  \;\;\;\;
  V^\ast = (V_{even}^\ast) \oplus (V_{odd}^\ast)
  \,.
\end{displaymath}
\end{example}
\begin{prop}
\label{CompactClosedMonoidalCategory}\hypertarget{CompactClosedMonoidalCategory}{}
Every [[rigid monoidal category|rigid]] (def. $\backslash$refDualizableObject) [[symmetric monoidal category]] (def. \ref{SymmetricMonoidalCategory}) is a [[closed monoidal category]] (def. \ref{ClosedMonoidalCategory}) with [[internal hom]] between two objects given by the [[tensor product]] of the [[codomain]] object with the [[dual object]] of the domain object

\begin{displaymath}
[A,B] \simeq A^* \otimes B
  \,.
\end{displaymath}
(The closed monoidal categories arising this way are called \textbf{[[compact closed categories]]}).

\end{prop}
\begin{proof}
The [[natural isomorphism]] that characterizes the [[internal hom]] $[A,-]$ as being [[right adjoint]] to the [[tensor product]] $A \otimes (-)$ is given by the [[adjunction]] natural isomorphism that characterizes [[dual objects]]:

\begin{displaymath}
\mathcal{C}(C,[A,B])
  \simeq
  \mathcal{C}(C, A^\ast \otimes B)
    \simeq
  \mathcal{C}(C \otimes A, B)
  \,.
\end{displaymath}
\end{proof}
There are many [[monoidal categories]] whose ``[[tensor product]]'' operation is quite unlike the [[tensor product of vector spaces]]. Hence one says \emph{[[tensor category]]} for monoidal categories that are also $k$-[[linear categories]] and such that the tensor product functor suitably reflects that linear structure. There are slight variants of what people mean by a ``[[tensor category]]''. Here we mean precisely the following:

\begin{defn}
\label{TensorCategory}\hypertarget{TensorCategory}{}
For $k$ a [[field]], then a \textbf{$k$-[[tensor category]]} $\mathcal{A}$ is an

\begin{enumerate}%
\item [[essentially small category|essentially small]]


\item [[linear category|k-linear]] (def. \ref{LinearCategory})


\item [[rigid monoidal category|rigid]] (def. \ref{DualizableObject})


\item [[symmetric monoidal category|symmetric]] (def. \ref{SymmetricMonoidalCategory})


\item [[monoidal category]] (def. \ref{MonoidalCategory})



\end{enumerate}
such that

\begin{enumerate}%
\item the [[tensor product]] functor $\otimes \colon \mathcal{A} \times \mathcal{A} \longrightarrow \mathcal{A}$ is in both arguments separately

\begin{enumerate}%
\item $k$-linear (def. \ref{LinearCategory});


\item [[exact functor|exact]].



\end{enumerate}

\item $End(1) \simeq k$ (the [[endomorphism ring]] of the [[tensor unit]] coincides with $k$).



\end{enumerate}
\end{defn}
In this form this is considered in (\hyperlink{Deligne02}{Deligne 02, 0.1}).

We consider now various types of size constraints on tensor categories. The Tannaka reconstruction theorem (theorem \ref{TheTheorem} below) only assumes one of them (subexponential growth, def. \ref{SubexponentialGrowth}), but the others appear in the course of the proof of the theorem.

\begin{enumerate}%
\item finiteness (def. \ref{FiniteTensorCategory})


\item finite $\otimes$-generation (def. \ref{FiniteTensorGeneration})


\item subexponential growth (def. \ref{SubexponentialGrowth})



\end{enumerate}
Recall the concept of [[length of an object]] in an [[abelian category]], a generalization of the concept of [[dimension]] of a [[free module]]/[[vector space]].

\begin{defn}
\label{FiniteLength}\hypertarget{FiniteLength}{}
Let $\mathcal{C}$ be an [[abelian category]]. Given an [[object]] $X \in \mathcal{C}$, then a \emph{[[Jordan-Hölder sequence]]} or \emph{[[composition series]]} for $X$ is a finite [[filtration]], i.e. a finite sequence of [[subobject]] unclusions into $X$, starting with the [[zero objects]]

\begin{displaymath}
0 = X_0 \hookrightarrow X_1 \hookrightarrow \cdots \hookrightarrow X_{n-1} \hookrightarrow X_n = X
\end{displaymath}
such that at each stage $i$ the [[quotient]] $X_i/X_{i-1}$ (i.e. the [[coimage]] of the [[monomorphism]] $X_{i-1} \hookrightarrow X_i$) is a [[simple object]] of $\mathcal{C}$.

If a Jordan-H\"o{}lder sequence for $X$ exists at all, then $X$ is said to be of \emph{finite length}.

\end{defn}
(e.g. \hyperlink{EGNO15}{EGNO 15, def. 1.5.3})

\begin{prop}
\label{JordanHolderSequenceHasDefiniteLength}\hypertarget{JordanHolderSequenceHasDefiniteLength}{}
\textbf{([[Jordan-Hölder theorem]])}

If $X \in \mathcal{C}$ has finite length according to def. \ref{FiniteLength}, then in fact all Jordan-H\"o{}lder sequences for $X$ have the same length $n \in \mathbb{N}$.

\end{prop}
(e.g. \hyperlink{EGNO15}{EGNO 15, theorem 1.5.4})

\begin{defn}
\label{LengthOfAnObject}\hypertarget{LengthOfAnObject}{}
If an object $X \in \mathcal{C}$ has finite length according to def. \ref{FiniteLength}, then the length $n \in \mathbb{N}$ of any of its Jordan-H\"o{}lder sequences, which is uniquely defined according to prop. \ref{JordanHolderSequenceHasDefiniteLength}, is called the \emph{length of the object} $X$.

\end{defn}
(e.g. \hyperlink{EGNO15}{EGNO 15, def. 1.5.5})

\begin{defn}
\label{FiniteTensorCategory}\hypertarget{FiniteTensorCategory}{}
A $k$-[[tensor category]] (def. \ref{TensorCategory}) is called \textbf{finite} (over $k$) if

\begin{enumerate}%
\item There are only [[finite number|finitely many]] [[simple objects]] in $C$ (hence it is a [[finite abelian category]]), and each of them admits a [[projective presentation]].


\item Each object $a$ is of [[object of finite length|finite length]];


\item For any two [[objects]] $a$, $b$ of $C$, the [[hom-object]] ($k$-[[vector space]]) $\hom(a, b)$ has [[finite]] [[dimension]];



\end{enumerate}
\end{defn}
\begin{example}
\label{}\hypertarget{}{}
The category of [[finite dimensional vector spaces]] over $k$ is a finite tensor category according to def. \ref{FiniteTensorCategory}. It has a single isomorphism class of [[simple objects]], namely $k$ itself.

Also category of finite dimensional [[super vector spaces]] is a finite tensor category. This has two isomorphism classes of simple objects, $k = k^{1 \vert 0}$ regarded in even degree, and $k^{0\vert 1}$ regarded in odd degree.

\end{example}
The following finiteness condition is useful in the proof of the main theorem, but not necessary for its statement (according to \hyperlink{Deligne02}{Deligne 02, bottom of p. 3}):

\begin{defn}
\label{FiniteTensorGeneration}\hypertarget{FiniteTensorGeneration}{}
A $k$-[[tensor category]] (def. \ref{TensorCategory}) is called \emph{finitely $\otimes$-generated} if there exists an [[object]] $E \in \mathcal{A}$ such that every other object $X \in \mathcal{A}$ is a [[subquotient]] of a [[direct sum]] of [[tensor products]] $E^{\otimes^n}$, for some $n \in \mathbb{N}$:

\begin{displaymath}
\itexarray{
    && \underset{i}{\oplus} E^{\otimes^{n_i}}
    \\
    && \downarrow
    \\
    X &\hookrightarrow& (\underset{i}{\oplus} E^{\otimes^{n_i}})/Q
  }
  \,.
\end{displaymath}
Such $E$ is called an \emph{$\otimes$-generator} for $\mathcal{A}$.

\end{defn}
(\hyperlink{Deligne02}{Deligne 02, 0.1})

The following is the main size constraint needed in the theorem. Notice that it is a ``mild'' constraint at least in the intuitive sense that it states just a minimum assumption on the expected behaviour of dimension ([[length of an object|length]]) under tensor powers.

\begin{defn}
\label{SubexponentialGrowth}\hypertarget{SubexponentialGrowth}{}
A [[tensor category]] $\mathcal{A}$ (def. \ref{TensorCategory}) is said to have \textbf{subexponential growth}* if the [[length]] of tensor exponentials is no larger than the exponential of the length: for every [[object]] $X$ there exists a [[natural number]] $N_X$ such that $X$ is of [[length of an object|length]] at most $N_X$, and that also all [[tensor product]] powers of $X$ are of length bounded by the corresponding powers of $N_X$:

\begin{displaymath}
\underset{X \in \mathcal{A}}{\forall}
  \,
  \underset{N_X \in \mathbb{N}}{\exists}
  \,
  \underset{n \in \mathbb{N}}{\forall}
    \;\;
   length(X^{\otimes^n}) \leq (N_X)^n
  \,.
\end{displaymath}
\end{defn}
(e.g. \hyperlink{EGNO15}{EGNO 15, def. 9.11.1})

The evident example is the following:

\begin{example}
\label{}\hypertarget{}{}
The tensor category $k$-[[FinVect]] of [[finite dimensional vector spaces]] from example \ref{FiniteDimensionalVectorSpaces} has subexponential growth (def. \ref{SubexponentialGrowth}), for $N_X = dim(X)$ the [[dimension]] of a vector space $X$, we have

\begin{displaymath}
dim\left( X^{\otimes^n} \right) = \left(dim(X)\right)^n
  \,.
\end{displaymath}
\end{example}
While many linear monoidal categories of interest do not satisfy finiteness or [[rigid monoidal category|rigidity]] (def. \ref{DualizableObject}), often they are such that all their objects are (formal) [[inductive limits]] over ``small'' objects that do form a [[rigid monoidal category]].

\begin{prop}
\label{IndObjectsInATensorCategory}\hypertarget{IndObjectsInATensorCategory}{}
Let $\mathcal{A}$ a [[tensor category]] (def. \ref{TensorCategory}), such that

\begin{enumerate}%
\item all [[object of finite length|objects have finite length]];


\item all [[hom spaces]] are of [[finite number|finite]] [[dimension]] over $k$



\end{enumerate}
then for its [[category of ind-objects]] $Ind(\mathcal{A})$ the following holds

\begin{enumerate}%
\item $Ind(\mathcal{A})$ is an [[abelian category]]


\item $\mathcal{A} \hookrightarrow Ind(\mathcal{A})$ is a [[full subcategory]]

\begin{enumerate}%
\item which stable under forming [[subquotients]]


\item such that that every [[object]] $X \in Ind(\mathcal{A})$ is the [[filtered colimit]] of those of its [[subobjects]] that are in $\mathcal{A}$;



\end{enumerate}

\item $\Ind(\mathcal{A})$ inherits a [[tensor product]] by

\begin{displaymath}
\begin{aligned}
    X \otimes Y
      & \simeq
    (\underset{\longrightarrow}{\lim}_i X_i)
    \otimes
    (\underset{\longrightarrow}{\lim}_i Y_i)
    \\
    & \simeq
    \underset{\longrightarrow}{\lim}_{i,j} (X_i \otimes X_j)
  \end{aligned}
\end{displaymath}
where $X_i,X_j \in \mathcal{A}$, by the above.


\item $Ind(\mathcal{A})$ satisfies all the axioms of def. \ref{TensorCategory} except that it fails to be [[essentially small category|essentially small]] and [[rigid category]]. In detail

\begin{itemize}%
\item an object in $Ind(\mathcal{A})$ is [[dualizable object|dualizable]] precisely if it is in $\mathcal{A}$.

\end{itemize}


\end{enumerate}
\end{prop}
\begin{example}
\label{}\hypertarget{}{}
The category of all vector spaces is the category of [[ind-objects]] of the [[tensor category]] of [[finite dimensional vector spaces]] (example \ref{FiniteDimensionalVectorSpaces}):

\begin{displaymath}
Vect \simeq Ind(FinVect)
  \,.
\end{displaymath}
Similarly the category of all [[super vector spaces]] (def. \ref{CategoryOfSuperVectorSpaces}) is the category of ind-objects of that of finite-dimensional super vector spaces (example \ref{FiniteDimensionalSuperVectorSpaces})

\begin{displaymath}
sVect \simeq Ind(sFinVect)
  \,.
\end{displaymath}
\end{example}
\hypertarget{CommutativeAlgebraInTensorCategories}{}\subsection*{{Commutative algebra in tensor categories and Affine super-spaces}}\label{CommutativeAlgebraInTensorCategories}

The key idea of [[supercommutative superalgebra]] is that it is nothing but plain [[commutative algebra]] but ``[[internalization|internalized]]'' not in ordinary [[vector spaces]], but in [[super vector spaces]]. This is made precise by def. \ref{MonoidsInMonoidalCategory} and def. \ref{SupercommutativeSuperalgebra} below.

The key idea then of [[supergeometry]] is to define super-[[spaces]] to be spaces whose [[algebras of functions]] are [[supercommutative superalgebras]]. This is not the case for any ``ordinary'' space such as a [[topological space]] or a [[smooth manifold]]. But these spaces may be \emph{characterized dually} via their algebras of functions, and hence it makes sense to generalize the latter.

For [[smooth manifolds]] the [[duality]] statement is the following:

\begin{prop}
\label{EmbeddingOfSmoothManifoldsIntoRAlgebras}\hypertarget{EmbeddingOfSmoothManifoldsIntoRAlgebras}{}
\textbf{([[embedding of smooth manifolds into formal duals of R-algebras]])}

The [[functor]]

\begin{displaymath}
C^\infty(-) \;\colon\; SmoothMfd \longrightarrow Alg_{\mathbb{R}}^{op}
\end{displaymath}
which sends a [[smooth manifold]] ([[finite number|finite]] [[dimension|dimensional]], [[paracompact topological space|paracompact]], [[second countable topological space|second countable]]) to (the [[formal dual]] of) its $\mathbb{R}$-[[associative algebra|algebra]] of [[smooth functions]] is a [[full and faithful functor]].

In other words, for two [[smooth manifolds]] $X,Y$ there is a [[natural bijection]] between the [[smooth functions]] $X \to Y$ and the $\mathbb{R}$-[[associative algebra|algebra]] [[homomorphisms]] $C^\infty(X)\leftarrow C^\infty(Y)$.

\end{prop}
A \textbf{proof} is for instance in (\href{embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras#KolarSlovakMichor93}{Kolar-Slovak-Michor 93, lemma 35.8, corollaries 35.9, 35.10}).

This says that we may \emph{identify} [[smooth manifolds]] as the ``[[formal duals]]'' of certain [[associative algebras]], namely those in the image of the above full embedding. Accordingly then, any larger class of associative algebras than this may be thought of as the class of [[formal duals]] to a generalized kind of manifold, defined thereby. Given any associative algebra $A$, then we may think of it as representing a space $Spec(A)$ which is such that it has $A$ as its [[algebra of functions]].

This [[duality]] between certain [[spaces]] and their [[algebras of functions]] is profound. In [[physics]] it has always been used implicitly, in fact it was so ingrained into theoretical physics that it took much effort to abstract away from [[coordinate system|coordinate functions]] to discover global [[Riemannian geometry]] in the guise of ``[[general relativity]]''. As mathematics, an early prominent duality theorem is [[Gelfand duality]] (between [[topological spaces]] and [[C\emph{-algebras]]) which served as motivation for the very definition of [[algebraic geometry]], where [[affine schemes]] are nothing but the [[formal duals]] of [[commutative rings]]/[[commutative algebras]]. Passing to [[non-commutative algebras]] here yields [[non-commutative geometry]], and so forth. In great generality this duality between spaces and their function algebras appears as ``[[Isbell duality]]'' between [[presheaves]] and [[copresheaves]].}

In [[supergeometry]] we are concerned with spaces that are formally dual to associative algebras which are ``very mildly'' non-commutative, namely [[supercommutative superalgebras]]. These are in fact [[commutative algebras]] when viewed internal to [[super vector spaces]] (def. \ref{SupercommutativeSuperalgebra} below). The corresponding [[formal dual]] spaces are, depending on some technical details, \emph{[[super schemes]]} or \emph{[[supermanifolds]]}. In the [[physics]] literature, such spaces are usually just called \emph{[[superspaces]]}.

We now make this precise.

\hypertarget{monoids_in_monoidal_categories_and_supercommutative_superalgebra}{}\subsubsection*{{Monoids in monoidal categories and Supercommutative superalgebra}}\label{monoids_in_monoidal_categories_and_supercommutative_superalgebra}

\begin{defn}
\label{MonoidsInMonoidalCategory}\hypertarget{MonoidsInMonoidalCategory}{}
Given a [[monoidal category]] $(\mathcal{C}, \otimes, 1)$ (def \ref{MonoidalCategory}), then a \textbf{[[monoid in a monoidal category|monoid internal to]]} $(\mathcal{C}, \otimes, 1)$ is

\begin{enumerate}%
\item an [[object]] $A \in \mathcal{C}$;


\item a morphism $e \;\colon\; 1 \longrightarrow A$ (called the \emph{[[unit]]})


\item a morphism $\mu \;\colon\; A \otimes A \longrightarrow A$ (called the \emph{product});



\end{enumerate}
such that

\begin{enumerate}%
\item ([[associativity]]) the following [[commuting diagram|diagram commutes]]

\begin{displaymath}
\itexarray{
    (A\otimes A) \otimes A
      &\underoverset{\simeq}{a_{A,A,A}}{\longrightarrow}&
    A \otimes (A \otimes A)
      &\overset{A \otimes \mu}{\longrightarrow}&
    A \otimes A
    \\
    {}^{\mathllap{\mu \otimes A}}\downarrow
      && &&
    \downarrow^{\mathrlap{\mu}}
    \\
    A \otimes A
      &\longrightarrow&
      &\overset{\mu}{\longrightarrow}&
    A
  }
  \,,
\end{displaymath}
where $a$ is the [[associator]] isomorphism of $\mathcal{C}$;


\item ([[unitality]]) the following [[commuting diagram|diagram commutes]]:

\begin{displaymath}
\itexarray{
1 \otimes A
&\overset{e \otimes id}{\longrightarrow}&
A \otimes A
&\overset{id \otimes e}{\longleftarrow}&
A \otimes 1
\\
& {}_{\mathllap{\ell}}\searrow
& \downarrow^{\mathrlap{\mu}} &
& \swarrow_{\mathrlap{r}}
\\
&& A
}
\,,
\end{displaymath}
where $\ell$ and $r$ are the left and right unitor isomorphisms of $\mathcal{C}$.



\end{enumerate}
Moreover, if $(\mathcal{C}, \otimes , 1)$ has the structure of a [[symmetric monoidal category]] (def. \ref{SymmetricMonoidalCategory}) $(\mathcal{C}, \otimes, 1, \tau)$ with symmetric [[braiding]] $\tau$, then a monoid $(A,\mu, e)$ as above is called a \textbf{[[commutative monoid in a symmetric monoidal category|commutative monoid in]]} $(\mathcal{C}, \otimes, 1, B)$ if in addition

\begin{itemize}%
\item (commutativity) the following [[commuting diagram|diagram commutes]]

\begin{displaymath}
\itexarray{
    A \otimes A
      && \underoverset{\simeq}{\tau_{A,A}}{\longrightarrow} &&
    A \otimes A
    \\
    & {}_{\mathllap{\mu}}\searrow && \swarrow_{\mathrlap{\mu}}
    \\
    && A
  }
  \,.
\end{displaymath}


\end{itemize}
A [[homomorphism]] of monoids $(A_1, \mu_1, e_1)\longrightarrow (A_2, \mu_2, f_2)$ is a morphism

\begin{displaymath}
f \;\colon\; A_1 \longrightarrow A_2
\end{displaymath}
in $\mathcal{C}$, such that the following two [[commuting diagram|diagrams commute]]

\begin{displaymath}
\itexarray{
    A_1 \otimes A_1
      &\overset{f \otimes f}{\longrightarrow}&
    A_2 \otimes A_2
    \\
    {}^{\mathllap{\mu_1}}\downarrow && \downarrow^{\mathrlap{\mu_2}}
    \\
    A_1 &\underset{f}{\longrightarrow}& A_2
  }
\end{displaymath}
and

\begin{displaymath}
\itexarray{
    1_{\mathcal{c}} &\overset{e_1}{\longrightarrow}& A_1
    \\
    & {}_{\mathllap{e_2}}\searrow & \downarrow^{\mathrlap{f}}
    \\
    && A_2
  }
  \,.
\end{displaymath}
Write $Mon(\mathcal{C}, \otimes,1)$ for the \textbf{[[category of monoids]]} in $\mathcal{C}$, and $CMon(\mathcal{C}, \otimes, 1)$ for its subcategory of commutative monoids.

\end{defn}
\begin{example}
\label{MonoidsInVectAreAssociativeAlgebras}\hypertarget{MonoidsInVectAreAssociativeAlgebras}{}
A [[monoid object]] according to def. \ref{MonoidsInMonoidalCategory} in the [[monoidal category]] of [[vector spaces]] from example \ref{TensorProductOfVectorSpaces} is equivalently an ordinary [[associative algebra]] over the given [[ground field]]. Similarly a [[commutative monoid]] in $Vect$ is an ordinary [[commutative algebra]]. Moreover, in both cases the [[homomorphisms]] of monoids agree with usual algebra homomorphisms. Hence there are [[equivalences of categories]].

\begin{displaymath}
Mon(Vect_k) \simeq Alg_k
\end{displaymath}
\begin{displaymath}
CMon(Vect_k) \simeq CAlg_k
  \,.
\end{displaymath}
\end{example}
\begin{example}
\label{GradedAlgebras}\hypertarget{GradedAlgebras}{}
For $G$ a [[group]], then a \textbf{$G$-[[graded algebra|graded]] [[associative algebra]]} is a [[monoid object]] according to def. \ref{MonoidsInVectAreAssociativeAlgebras} in the [[monoidal category]] of $G$-[[graded vector spaces]] from example \ref{GradedVectorSpacesAsAMonoidaCategory}.

\begin{displaymath}
Alg_k^G \simeq Mon(Vect_k^G)
  \,.
\end{displaymath}
This means that a $G$-graded algebra is

\begin{enumerate}%
\item a $G$-[[graded vector space]] $A = \underset{g\in G}{\oplus} A_g$


\item an [[associative algebra]] structure on the underlying vector space $A$



\end{enumerate}
such that for two elements of homogeneous degree, i.e. $a_1 \in A_{g_1} \hookrightarrow A$ and $a_2 \in A_{g_2} \hookrightarrow A$ then their product is in degree $g_1 g_2$

\begin{displaymath}
a_{g_1} a_{g_2} \in A_{g_1 g_2} \hookrightarrow A
  \,.
\end{displaymath}
\end{example}
Example \ref{MonoidsInVectAreAssociativeAlgebras} motivates the following definition:

\begin{defn}
\label{SupercommutativeSuperalgebra}\hypertarget{SupercommutativeSuperalgebra}{}
\textbf{([[supercommutative superalgebra]])}

A \textbf{[[supercommutative superalgebra]]} is a [[commutative monoid]] (def. \ref{MonoidsInMonoidalCategory}) in the [[symmetric monoidal category|symmetric monoidal]] [[category of super vector spaces]] (def. \ref{CategoryOfSuperVectorSpaces}). We write $sCAlg_k$ for the [[category]] of [[supercommutative superalgebras]] with the induced [[homomorphisms]] between them:

\begin{displaymath}
sCAlg_k \;\coloneqq\; CMon(sVect_k)
  \,.
\end{displaymath}
Unwinding what this means, then a [[supercommutative superalgebra]] $A$ is

\begin{enumerate}%
\item a $\mathbb{Z}/2$-graded associative algebra according to example \ref{GradedAlgebras};


\item such that for any two elements $a, b$ of homogeneous degree, their product satisfies

\begin{displaymath}
a b \; = \; (-1)^{deg(a) deg(b)}\, b a
  \,.
\end{displaymath}


\end{enumerate}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
In view of def. \ref{SupercommutativeSuperalgebra} we might define a not-necessarily supercommutative superalgebra to be a [[monoid]] (not necessarily commutative) in [[sVect]], and write

\begin{displaymath}
sAlg_k \coloneqq Mon(sVect)
  \,.
\end{displaymath}
However, since the definition of not-necessarily commutative monoids (def. \ref{MonoidsInMonoidalCategory}) does not invoke the [[braiding]] of the ambient [[tensor category]], and since [[super vector spaces]] differ from $\mathbb{Z}/2$-[[graded vector spaces]] only via their [[braiding]] (example \ref{CategoryOfSuperVectorSpaces}), this yields equivalently just the $\mathbb{Z}/2$-graded algebras from example \ref{GradedAlgebras}:

\begin{displaymath}
sAlg_k \simeq Alg_k^{\mathbb{Z}/2}
  \,.
\end{displaymath}
Hence the heart of [[superalgebra]] is \emph{[[supercommutative superalgebra|super-commutativity]]}.

\end{remark}
\begin{example}
\label{GrassmannAlgebra}\hypertarget{GrassmannAlgebra}{}
The [[supercommutative superalgebra]] which is [[free construction|freely generated]] over $k$ from $n$ generators $\{\theta_i\}_{i = 1}^n$ in odd degree is the [[quotient]] of the [[tensor algebra]] $T^\bullet \mathbb{R}^n$, with the generators $\theta_i$ in odd degree, by the ideal generated by the relations

\begin{displaymath}
\theta_i \theta_j = - \theta_j \theta_i
\end{displaymath}
for all $i,j \in \{1, \cdots, n\}$.

This is also called a \emph{[[Grassmann algebra]]}, in honor of (\hyperlink{Grassmann1844}{Grassmann 1844}), who introduced and studied the super-sign rule in def. \ref{SupercommutativeSuperalgebra} a century ahead of his time.

We also denote this algebra by

\begin{displaymath}
\wedge^\bullet_{\mathbb{R}}(\mathbb{R}^n)
    \;\in\;
   sCAlg_{\mathbb{R}}
   \,.
\end{displaymath}
\end{example}
The following is an elementary but fundamental fact about the relation between commutative algebra and supercommutative superalgebra. It is implicit in much of the literature, but maybe the only place where it has been made explicit before is (\hyperlink{CarchediRoytenberg12}{Carchedi-Roytenberg 12, example 3.18}).

\begin{prop}
\label{InclusionOfCAlgIntosCAlg}\hypertarget{InclusionOfCAlgIntosCAlg}{}
There is a [[full subcategory]] inclusion

\begin{displaymath}
\itexarray{
     CAlg_k &\hookrightarrow& sCAlg_k
     \\
     = && =
     \\
     CMon(Vect_k) &\hookrightarrow& CMon(sVect_k)
  }
\end{displaymath}
of [[commutative algebras]] (example \ref{MonoidsInVectAreAssociativeAlgebras}) into [[supercommutative superalgebras]] (def. \ref{SupercommutativeSuperalgebra}) induced via prop. \ref{MonoidsPreservedByLaxMonoidalFunctor} from the full inclusion

\begin{displaymath}
i \;\colon\; Vect_k \hookrightarrow sVect_k
\end{displaymath}
of [[vector spaces]] (def. \ref{VectorSpaces}) into [[super vector spaces]] (def. \ref{CategoryOfSuperVectorSpaces}), which is a [[braided monoidal functor]] by prop. \ref{InclusionOfVectorSpacesIntoSupervectorSpaces}. Hence this regards a commutative algebra as a superalgebra concentrated in even degree.

This inclusion functor has both a [[left adjoint|left]] [[adjoint functor]] and a [[right adjoint|right]] [[adjoint functor]] , (an [[adjoint triple]] exibiting a [[reflective subcategory]] and [[coreflective subcategory]] inclusion, an ``[[adjoint cylinder]]''):

\begin{displaymath}
CAlg_k
    \underoverset
      {\underset{(-)_{even}}{\longleftarrow}}
      {\overset{(-)/(-)_{odd}}{\longleftarrow}}
      {\hookrightarrow}
  sCAlg_k
  \,.
\end{displaymath}
Here

\begin{enumerate}%
\item the [[right adjoint]] $(-)_{even}$ sends a supercommutative superalgebra to its even part $A \mapsto A_{even}$;


\item the [[left adjoint]] $(-)/(-)_{odd}$ sends a supercommutative superalgebra to the [[quotient]] by the ideal which is generated by its odd part $A \mapsto A/(A_{odd})$ (hence it sets all elements to zero which may be written as a product such that at least one factor is odd-graded).



\end{enumerate}
\end{prop}
\begin{proof}
The full inclusion $i$ is evident. To see the [[adjunctions]] observe their characteristic [[natural bijections]] between [[hom-sets]]: If $A_{ordinary}$ is an ordinary commutative algebra regarded as a superalgebra $i(A_{ordinary})$ concentrated in even degree, and if $B$ is any superalgebra,

\begin{enumerate}%
\item then every super-algebra homomorphism of the form $A_{ordinary} \to B$ must factor through $B_{even}$, simply because super-algebra homomorpism by definition respect the $\mathbb{Z}/2$-grading. This gives a [[natural bijection]]

\begin{displaymath}
Hom_{sCAlg_k}(i(A_{ordinary}), B) \simeq Hom_{CAlg_k}(A_{ordinary},B_{even})
  \,,
\end{displaymath}

\item every super-algebra homomorphism of the form $B \to i(A_{ordinary})$ must send every odd element of $B$ to 0, again because homomorphisms have to respect the $\mathbb{Z}/2$-grading, and since homomorphisms of course also preserve products, this means that the entire ideal generated by $B_{odd}$ must be sent to zero, hence the homomorphism must factor through the [[projection]] $B \to B/B_{odd}$, which gives a natural bijection

\begin{displaymath}
Hom_{sCAlg_k}(B, i(A_{ordinary}))
    \simeq
  Hom_{Alg_k}(B/B_{odd}, A_{ordinary})
  \,.
\end{displaymath}


\end{enumerate}
\end{proof}
\hypertarget{example_super_lie_algebras_and_super_algebras}{}\subsubsection*{{Example: Super Lie algebras and Super $L_\infty$-algebras}}\label{example_super_lie_algebras_and_super_algebras}

As an example of the general principle of [[internalization|internalizing]] ordinary [[algebra]] in [[super vector spaces]] in order to obtain the analogous concept in [[superalgebra]], we consider the concepts of \emph{[[super Lie algebras]]} and of [[super L-∞ algebras]] ([[super Lie n-algebras]] for arbitrary $n$).

\begin{defn}
\label{SuperLieAlgebraAsLieAlgebraInternalToSuperVectorSpaces}\hypertarget{SuperLieAlgebraAsLieAlgebraInternalToSuperVectorSpaces}{}
A \emph{[[super Lie algebra]]} is a [[Lie algebra]] [[internalization|internal]] to the [[symmetric monoidal category]] $sVect = (Vect^{\mathbb{Z}/2}, \otimes_k, \tau^{super} )$ of [[super vector spaces]] (def. \ref{CategoryOfSuperVectorSpaces}). Hence this is

\begin{enumerate}%
\item a [[super vector space]] $\mathfrak{g}$;


\item a homomorphism

\begin{displaymath}
[-,-] \;\colon\; \mathfrak{g} \otimes_k \mathfrak{g} \longrightarrow \mathfrak{g}
\end{displaymath}
of super vector spaces (the \emph{super Lie bracket})



\end{enumerate}
such that

\begin{enumerate}%
\item the bracket is skew-symmetric in that the following [[commuting diagram|diagram commutes]]

\begin{displaymath}
\itexarray{
    \mathfrak{g} \otimes_k \mathfrak{g}
      &
    \overset{\tau^{super}_{\mathfrak{g},\mathfrak{g}}}{\longrightarrow}
      &
    \mathfrak{g} \otimes_k \mathfrak{g}
    \\
    {}^{\mathllap{[-,-]}}\downarrow && \downarrow^{\mathrlap{[-,-]}}
    \\
    \mathfrak{g} &\underset{-1}{\longrightarrow}& \mathfrak{g}
  }
\end{displaymath}
(here $\tau^{super}$ is the [[braiding]] [[natural isomorphism]] in the category of [[super vector spaces]])


\item the [[Jacobi identity]] holds in that the following [[commuting diagram|diagram commutes]]

\begin{displaymath}
\itexarray{
    \mathfrak{g} \otimes_k \mathfrak{g} \otimes_k \mathfrak{g}
    &&
      \overset{\tau^{super}_{\mathfrak{g}, \mathfrak{g}} \otimes_k id }{\longrightarrow}
    &&
    \mathfrak{g} \otimes_k \mathfrak{g} \otimes_k \mathfrak{g}
    \\
    & {}_{\mathllap{[-,[-,-]]} - [[-,-],-] }\searrow && \swarrow_{\mathrlap{[-,[-,-]]}}
    \\
    && \mathfrak{g}
  }
  \,.
\end{displaymath}


\end{enumerate}
\end{defn}
Externally this means the following:

\begin{prop}
\label{SuperLieAlgebraTraditional}\hypertarget{SuperLieAlgebraTraditional}{}
A [[super Lie algebra]] according to def. \ref{SuperLieAlgebraAsLieAlgebraInternalToSuperVectorSpaces} is equivalently

\begin{enumerate}%
\item a $\mathbb{Z}/2$-[[graded vector space]] $\mathfrak{g}_{even} \oplus \mathfrak{g}_{odd}$;


\item equipped with a [[bilinear map]] (the \emph{super Lie bracket})

\begin{displaymath}
[-,-] : \mathfrak{g}\otimes_k \mathfrak{g} \to \mathfrak{g}
\end{displaymath}
which is \emph{graded} skew-symmetric: for $x,y \in \mathfrak{g}$ two elements of homogeneous degree $\sigma_x$, $\sigma_y$, respectively, then

\begin{displaymath}
[x,y] = -(-1)^{\sigma_x \sigma_y} [y,x]
  \,,
\end{displaymath}

\item that satisfies the $\mathbb{Z}/2$-graded [[Jacobi identity]] in that for any three elements $x,y,z \in \mathfrak{g}$ of homogeneous super-degree $\sigma_x,\sigma_y,\sigma_z\in \mathbb{Z}_2$ then

\begin{displaymath}
[x, [y, z]] = [[x,y],z] + (-1)^{\sigma_x \cdot \sigma_y} [y, [x,z]]
  \,.
\end{displaymath}


\end{enumerate}
A [[homomorphism]] of super Lie algebras is a homomorphisms of the underlying [[super vector spaces]] which preserves the Lie bracket. We write

\begin{displaymath}
sLieAlg
\end{displaymath}
for the resulting [[category]] of super Lie algebras.

\end{prop}
\begin{defn}
\label{CEAlgebraofSuperLieAlgebra}\hypertarget{CEAlgebraofSuperLieAlgebra}{}
For $\mathfrak{g}$ a [[super Lie algebra]] of [[finite number|finite]] [[dimension]], then its \emph{[[Chevalley-Eilenberg algebra]]} $CE(\mathfrak{g})$ is the super-[[Grassmann algebra]] on the [[dual vector space|dual]] super vector space

\begin{displaymath}
\wedge^\bullet  \mathfrak{g}^\ast
\end{displaymath}
equipped with a [[differential]] $d_{\mathfrak{g}}$ that on generators is the linear dual of the super Lie bracket

\begin{displaymath}
d_{\mathfrak{g}} \;\coloneqq\; [-,-]^\ast \;\colon\; \mathfrak{g}^\ast \to \mathfrak{g}^\ast \wedge \mathfrak{g}^\ast
\end{displaymath}
and which is extended to $\wedge^\bullet \mathfrak{g}^\ast$ by the graded Leibniz rule (i.e. as a graded [[derivation]]).

$\,$

Here all elements are $(\mathbb{Z} \times \mathbb{Z}/2)$-bigraded, the first being the \emph{cohomological grading} $n$ in $\wedge^\n \mathfrak{g}^\ast$, the second being the \emph{super-grading} $\sigma$ (even/odd).

For $\alpha_i \in CE(\mathfrak{g})$ two elements of homogeneous bi-degree $(n_i, \sigma_i)$, respectively, the [[signs in supergeometry|sign rule]] is

\begin{displaymath}
\alpha_1 \wedge \alpha_2 = (-1)^{n_1 n_2} (-1)^{\sigma_1 \sigma_2}\; \alpha_2 \wedge \alpha_1
  \,.
\end{displaymath}
(See at \emph{[[signs in supergeometry]]} for discussion of this sign rule and of an alternative sign rule that is also in use. )

\end{defn}
We may think of $CE(\mathfrak{g})$ equivalently as the [[dg-algebra]] of [[invariant differential form|left-invariant]] [[super differential forms]] on the [[Lie theory|corresponding]] simply connected [[super Lie group]] .

The concept of [[Chevalley-Eilenberg algebras]] is traditionally introduced as a means to define [[Lie algebra cohomology]]:

\begin{defn}
\label{SuperLieAlgebraCohomology}\hypertarget{SuperLieAlgebraCohomology}{}
Given a [[super Lie algebra]] $\mathfrak{g}$, then

\begin{enumerate}%
\item an \emph{$n$-cocycle} on $\mathfrak{g}$ (with [[coefficients]] in $\mathbb{R}$) is an element of degree $(n,even)$ in its [[Chevalley-Eilenberg algebra]] $CE(\mathfrak{g})$ (def. \ref{CEAlgebraofSuperLieAlgebra}) which is $d_{\mathbb{g}}$ closed.


\item the cocycle is non-trivial if it is not $d_{\mathfrak{g}}$-exact


\item hene the \emph{super-[[Lie algebra cohomology]]} of $\mathfrak{g}$ (with [[coefficients]] in $\mathbb{R}$) is the [[cochain cohomology]] of its [[Chevalley-Eilenberg algebra]]

\begin{displaymath}
H^\bullet(\mathfrak{g}, \mathbb{R}) = H^\bullet(CE(\mathfrak{g}))
  \,.
\end{displaymath}


\end{enumerate}
\end{defn}
The following says that the [[Chevalley-Eilenberg algebra]] is an equivalent incarnation of the [[super Lie algebra]]:

\begin{prop}
\label{}\hypertarget{}{}
The functor

\begin{displaymath}
CE \;\colon\; sLieAlg^{fin}  \hookrightarrow dgAlg^{op}
\end{displaymath}
that sends a finite dimensional [[super Lie algebra]] $\mathfrak{g}$ to its [[Chevalley-Eilenberg algebra]] $CE(\mathfrak{g})$ (def. \ref{CEAlgebraofSuperLieAlgebra}) is a [[fully faithful functor]] which hence exibits [[super Lie algebras]] as a [[full subcategory]] of the [[opposite category]] of [[differential-graded algebras]].

\end{prop}
This makes it immediate how to generalize to [[super L-infinity algebras]]:

\begin{defn}
\label{SuperLInfinityAlgebra}\hypertarget{SuperLInfinityAlgebra}{}
A \textbf{[[super L-∞ algebra]]} is an [[L-∞ algebra]] [[internalization|internal to]] the [[symmetric monoidal category]] of [[super vector spaces]] (def. \ref{CategoryOfSuperVectorSpaces}).

\end{defn}
Explicitly this means the following:

\begin{defn}
\label{SuperGradedSignatureOfPermutation}\hypertarget{SuperGradedSignatureOfPermutation}{}
\textbf{(super graded signature of a permutation)}

Let $V$ be a $\mathbb{Z}$-[[graded object|graded]] [[super vector space]], hence a $\mathbb{Z} \times (\mathbb{Z}/2)$-bigraded vector space.

For $n \in \mathbb{N}$ let

\begin{displaymath}
\mathbf{v} = (v_1, v_2, \cdots, v_n)
\end{displaymath}
be an [[n-tuple]] of elements of $V$ of homogeneous degree $(n_i, s_i) \in \mathbb{Z} \times \mathbb{Z}/2$, i.e. such that $v_i \in V_{(n_i,s_i)}$.

For $\sigma$ a [[permutation]] of $n$ elements, write $(-1)^{\vert \sigma \vert}$ for the [[signature of a permutation|signature of the permutation]], which is by definition equal to $(-1)^k$ if $\sigma$ is the composite of $k \in \mathbb{N}$ permutations that each exchange precisely one pair of neighboring elements.

We say that the \emph{super $\mathbf{v}$-graded signature of $\sigma$}

\begin{displaymath}
\chi(\sigma, v_1, \cdots, v_n) \;\in\; \{-1,+1\}
\end{displaymath}
is the product of the [[signature of a permutation|signature of the permutation]] $(-1)^{\vert \sigma \vert}$ with a factor of

\begin{displaymath}
(-1)^{n_i n_j}(-1)^{s_i s_j}
\end{displaymath}
for each interchange of neighbours $(\cdots v_i,v_j, \cdots )$ to $(\cdots v_j,v_i, \cdots )$ involved in the decomposition of the permuation as a sequence of swapping neighbour pairs (see at \emph{[[signs in supergeometry]]} for discussion of this combination of super-grading and homological grading).

\end{defn}
Now def. \ref{SuperLInfinityAlgebra} is equivalent to the following def. \ref{sLInfinityDefinitionViaGeneralizedJacobiIdentity}. This is just the definiton for \hyperlink{L-infinity-algebra#DefinitionViaHigherBrackets}{L-infinity algebras}, with the pertinent sign $\chi$ now given by def. \ref{SuperGradedSignatureOfPermutation}.

\begin{defn}
\label{sLInfinityDefinitionViaGeneralizedJacobiIdentity}\hypertarget{sLInfinityDefinitionViaGeneralizedJacobiIdentity}{}
An \emph{[[super L-∞ algebra]]} is

\begin{enumerate}%
\item a $\mathbb{Z} \times (\mathbb{Z}/2)$-[[graded object|graded]] [[vector space]] $\mathfrak{g}$;


\item for each $n \in \mathbb{N}$ a [[multilinear map]], called the \emph{$n$-ary bracket}, of the form

\begin{displaymath}
l_n(\cdots)
    \;\coloneqq\;
  [-,-, \cdots, -]_n
  \;\colon\;
    \underset{n \; \text{copies}}{\underbrace{\mathfrak{g} \otimes \cdots \otimes \mathfrak{g}}}
    \longrightarrow
    \mathfrak{g}
\end{displaymath}
and of degree $n-2$



\end{enumerate}
such that the following conditions hold:

\begin{enumerate}%
\item (\textbf{super graded skew symmetry}) each $l_n$ is graded antisymmetric, in that for every [[permutation]] $\sigma$ of $n$ elements and for every [[n-tuple]] $(v_1, \cdots, v_n)$ of homogeneously graded elements $v_i \in \mathfrak{g}_{\vert v_i \vert}$ then

\begin{displaymath}
l_n(v_{\sigma(1)}, v_{\sigma(2)},\cdots ,v_{\sigma(n)})
  =
  \chi(\sigma,v_1,\cdots, v_n) \cdot l_n(v_1, v_2, \cdots v_n)
\end{displaymath}
where $\chi(\sigma,v_1,\cdots, v_n)$ is the super $(v_1,\cdots,v_n)$-graded signature of the permuation $\sigma$, according to def. \ref{SuperGradedSignatureOfPermutation};


\item (\textbf{strong homotopy [[Jacobi identity]]}) for all $n \in \mathbb{N}$, and for all [[n-tuple|(n+1)-tuples]] $(v_1, \cdots, v_{n+1})$ of homogeneously graded elements $v_i \in \mathfrak{g}_{\vert v_i \vert}$ the followig [[equation]] holds

\begin{equation}
\sum_{{i,j \in \mathbb{N}} \atop {i+j = n+1}}
  \sum_{\sigma \in UnShuff(i,j)}
  \chi(\sigma,v_1, \cdots, v_{n})
  (-1)^{i(j-1)}
   l_{j} \left(
     l_i \left( v_{\sigma(1)}, \cdots, v_{\sigma(i)} \right),
     v_{\sigma(i+1)} , \cdots , v_{\sigma(n)}
   \right)
  = 0
  \,,
\label{LInfinityJacobiIdentity}\end{equation}
where the inner sum runs over all $(i,j)$-[[unshuffles]] $\sigma$ and where $\chi$ is the super graded signature sign from def. \ref{SuperGradedSignatureOfPermutation}.



\end{enumerate}
A \emph{strict [[homomorphism]]} of super $L_\infty$-algebras

\begin{displaymath}
is
  \mathfrak{g}_1 \longrightarrow \mathfrak{g}_2
\end{displaymath}
is a [[linear map]] that preserves the bidegree and all the brackets, in an evident sens.

A \emph{strong homotopy homomorphism} (``sh map'') of super $L_\infty$-algebras is something weaker than that, best defined in [[formal duals]], below in def. \ref{SuperLInfinityCEAlgebra}.

\end{defn}
\begin{defn}
\label{SuperLInfinityCEAlgebra}\hypertarget{SuperLInfinityCEAlgebra}{}
A super $L_\infty$ algebra $\mathfrak{g}$ is of \emph{[[finite type]]} if the underlying $\mathbb{Z} \times (\mathbb{Z}/2)$-[[graded vector space]] is degreewise of [[finite number|finite]] [[dimension]].

If $\mathfrak{g}$ is of finite type, then its [[Chevalley-Eilenberg algebra]] $CE(\mathfrak{g})$ is the [[dg-algebra]] whose underlying [[graded algebra]] is the super-Grassmann algebra

\begin{displaymath}
\wedge^\bullet \mathfrak{g}^{\ast}
\end{displaymath}
of the graded degreewise [[dual vector space]] $\mathfrak{g}^\ast$, equipped with the [[differential]] which on generators is the sum of the [[dual linear maps]] of the $n$-ary brackets:

\begin{displaymath}
d_{\mathfrak{g}}
   \coloneqq
  [-]^\ast + [-,-]^\ast + [-,-,-]^\ast + \cdots
  \;\colon\;
  \wedge^1 \mathfrak{g}^\ast
    \longrightarrow
  \wedge^\bullet \mathfrak{g}^\ast
\end{displaymath}
and extended to all of $\wedge^\bullet \mathfrak{g}^\ast$ as a super-graded [[derivation]] of degree $(1,even)$.

Notice that here the [[signs in supergeometry]] are such that for $\alpha_i \in \mathfrak{g}^\ast_{(n_i,s_i)}$ elements of homogenous bidegree, then

\begin{displaymath}
\alpha_1 \wedge \alpha_2
  \;=\;
  -(-1)^{n_1 n_2} (-)^{s_1 s_2}
\end{displaymath}
and

\begin{displaymath}
d_{\mathfrak{g}}
  (\alpha_1 \wedge \alpha_2)
  \;=\;
  (d_{\mathfrak{g}} \alpha_1) \wedge \alpha_2
  +
  (-1)^{n_1} \alpha_1 \wedge (d_{\mathfrak{g}} \alpha_2)
  \,.
\end{displaymath}
(see at \emph{[[signs in supergeometry]]} for more on this).

A \emph{strong homotopy homomorphism} (``sh-map'') between super $L_\infty$-algbras of [[finite type]]

\begin{displaymath}
f \;\colon\; \mathfrak{g}_1 \longrightarrow \mathfrak{g}_2
\end{displaymath}
is defined to be a homomorphism of [[dg-algebras]] between their [[Chevalley-Eilenberg algebras]] going the other way:

\begin{displaymath}
CE(\mathfrak{g}_1) \longleftarrow CE(\mathfrak{g}_2)
    \;\colon\;
  f^\ast
\end{displaymath}
(here $f^\ast$ is the primitive concept, and $f$ is defined as the [[formal dual]] of $f$). Hence the [[category]] of super $L_\infty$-algebras of [[finite type]] is the [[full subcategory]]

\begin{displaymath}
s L_\infty Alg \hookrightarrow dgAlg^{op}
\end{displaymath}
of the [[opposite category]] of [[dg-algebras]] on those that are CE-algebras as above.

Finally, the [[cochain cohomology]] of the [[Chevalley-Eilenberg algebra]] $CE(\mathfrak{g})$ of a super $L_\infty$ algebra of [[finite type]] is its \emph{[[L-∞ algebra cohomology]]} with [[coefficients]] in $\mathbb{R}$:

\begin{displaymath}
H^\bullet(\mathfrak{g}, \mathbb{R})
   \;=\;
  H^\bullet(CE(\mathfrak{g}))
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{SuperLInfintiyAsFDA}\hypertarget{SuperLInfintiyAsFDA}{}
In their [[formal dual]] incarnations as super-graded commutative [[dg-algebras]], i.e. super [[Chevalley-Eilenberg algebras]] (def. \ref{SuperLInfinityCEAlgebra}), [[super L-∞ algebras]] of [[finite type]] had secretly been introduced within the [[supergravity]] literature already in \hyperlink{DAuriaFreRegge80}{D'Auria-Fr\'e{}-Regge 80} and explicitly in \hyperlink{Nieuwenhuizen82}{van Nieuwenhuizen 82} and hence a whole decade before mathematicans considered even plain (non-super) [[L-∞ algebras]] (in \href{L-infinity-algebra#LadaStasheff92}{Lada-Stasheff 92}).

The concept was picked up in the [[D'Auria-Fré formulation of supergravity]] (\hyperlink{DAuriaFre82}{D'Auria-Fr\'e{} 82}) and eventually came to be referred to as ``FDA''s (short for ``free differential algebra'') in the [[supergravity]] literature, where in [[rational homotopy theory]] one says ``[[semifree dga]]'' or ``quasifree dga'', since these dg-algebras are crucially not required to be [[free construction|free]] as \emph{differential} algebras). (If they are, then they are [[Weil algebras]]).

The relation between super $L_\infty$-algebras and the ``FDA''s of the [[supergravity]] literature is made explicit in (\hyperlink{FSS13}{FSS 13}).

\end{remark}
\hypertarget{ZGradedSupercommutativeSuperAlgebra}{}\subsubsection*{{$\mathbb{Z}$-Graded Supercommutative superalgebra}}\label{ZGradedSupercommutativeSuperAlgebra}

It may happen that the $\mathbb{Z}/2$-grading of a [[supercommutative superalgebra]] [[lift|lifts]] to a finer grading with respect to some [[abelian group]] $A$, through a group homomorphism $A \to \mathbb{Z}/2$. The most important special case of this is the lift to $\mathbb{Z}$-grading through the mod-2-reduction $\mathbb{Z} \stackrel{mod\,2}{\longrightarrow}\mathbb{Z}/2$. We discuss how the resulting $\mathbb{Z}$-graded-commutative algebra is related to $\mathbb{Z}/2$-graded-commutative algebra, i.e. [[supercommutative superalgebra]].

This relation is particularly interesting since there is a natural source of $\mathbb{Z}$-graded-commutative algebra: the commutative monoids in [[homological algebra]] (called [[dgca]]-s) and more generally in [[stable homotopy theory]] (called [[homotopy commutative ring spectra]]) have shadows on [[chain homology]]/[[homotopy groups]] which are $\mathbb{Z}$-graded-commutative algebras.

\begin{defn}
\label{SuperZGradedVectorSpaces}\hypertarget{SuperZGradedVectorSpaces}{}
Write

\begin{displaymath}
( Vect^{\mathbb{Z}}, \otimes_k, \tau^{super} )
\end{displaymath}
for the [[symmetric monoidal category]] whose underlying [[monoidal category]] is that of $\mathbb{Z}$-[[graded vector spaces]] (example \ref{GradedVectorSpacesAsAMonoidaCategory}) (for $\mathbb{Z} \coloneqq (\mathbb{Z}, +)$ the additive group of [[integers]]) equipped with the [[symmetric monoidal category|symmetric]] [[braided monoidal category|braiding]] $\tau^{super}$ which is that of the underlying [[super vector space]] (def. \ref{CategoryOfSuperVectorSpaces}) under the mod-2 reduction of grading $\mathbb{Z} \stackrel{mod\, 2}{\longrightarrow}\mathbb{Z}/2$.

This means that for $V,W \in Vect^{\mathbb{Z}}$ two $\mathbb{Z}$-graded vector spaces then

\begin{displaymath}
\tau^{super}_{V,W}
    \;\colon\;
  V \otimes_k W \longrightarrow W \otimes_k V
\end{displaymath}
is the [[linear map]] given on representatives elements $v \in V_{deg(v)} \hookrightarrow V$ and $w \in W_{deg(w)} \hookrightarrow W$ of homogeneous degree by

\begin{displaymath}
(v,w) \,\mapsto\, (-1)^{deg(v)deg(w)} (w,v)
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
Beware that there is also the concept of $\mathbb{Z}$-[[graded objects]] [[internalization|internal]] to the category of [[super vector spaces]]. This is \emph{not} equivalent to the concept in def. \ref{SuperZGradedVectorSpaces}.

\end{remark}
\begin{example}
\label{SupercommutativeSuperalgebraZGraded}\hypertarget{SupercommutativeSuperalgebraZGraded}{}
The category of [[commutative monoids]] (def. \ref{MonoidsInMonoidalCategory}) in the category of $\mathbb{Z}$-graded super vector spaces in the sense of def. \ref{SuperZGradedVectorSpaces}

\begin{displaymath}
CMon( Vect^{\mathbb{Z}}, \otimes_k , \tau^{super} )
    \hookrightarrow
  Alg_{\mathbb{R}}
\end{displaymath}
is equivalently the [[full subcategory]] of [[associative algebras]] over $\mathbb{R}$ on those algebras which are [[supercommutative superalgebras]] (def. \ref{SupercommutativeSuperalgebra}) whose $\mathbb{Z}/2$-grading is lifted to a $\mathbb{Z}$-grading through $\mathbb{Z} \overset{mod\,2 }{\longrightarrow} \mathbb{Z}/2$. Equivalently these are the $\mathbb{Z}$-[[graded algebras]] over $\mathbb{R}$ such that any two elements $a,b$ of homogeneous degree $deg(a), deg(b) \in \mathbb{Z}$ the product satisfies

\begin{displaymath}
a b \;=\; (-1)^{deg(a) deg(b)} b a
  \,.
\end{displaymath}
These are often called \emph{$\mathbb{Z}$-[[graded commutative algebras]]}.

\end{example}
Of course analogous definitions apply for the [[ground field]] $k$ replaced by any [[ground ring]].

One reason why example \ref{SupercommutativeSuperalgebraZGraded} is of interest is that commutative algebras in [[homological algebra]] and in [[stable homotopy theory]] give examples:

\begin{example}
\label{}\hypertarget{}{}
The [[category of chain complexes]] $Ch_\bullet(k)$ becomes a [[closed monoidal category|closed]] [[symmetric monoidal category]] (def. \ref{SymmetricMonoidalCategory}, def. \ref{ClosedMonoidalCategory}) with [[tensor product of chain complexes]] given degreewise by the tensor product of underlying $\mathbb{Z}$-[[graded vector spaces]] (example \ref{GradedVectorSpacesAsAMonoidaCategory}) and with [[differential]] given on elements in homogeneous degree by

\begin{displaymath}
\partial_{V \otimes W} ( v, w)
    \;\coloneqq\;
  (\partial_V v, w)
  +
  (-1)^{deg(v)} (v, \partial_W w)
  \,.
\end{displaymath}
See at the chapter \emph{[[geometry of physics -- homotopy types|on homotopy types]]} the section \emph{\href{geometry+of+physics+--+homotopy+types#CategoriesOfChainComplexes}{Categories of chain complexes}}.

A \textbf{[[differential graded-commutative algebra]] is a [[commutative monoid]] in $Ch(k)_\bullet$ (def. \ref{MonoidsInMonoidalCategory}).}

\begin{displaymath}
dgCAlg_k \coloneqq CMon(Ch_\bullet(k))
  \,.
\end{displaymath}
Under passing to [[chain homology]], a differential graded-commutative algebra goes to a $\mathbb{Z}$-graded commutative algebra in the sense of example \ref{SupercommutativeSuperalgebraZGraded}:

\begin{displaymath}
H_\bullet
    \;\colon\;
  dgCAlg_k
    \longrightarrow
  sCAlg_k^{\mathbb{Z}}
  \,.
\end{displaymath}
\end{example}
\begin{example}
\label{HomotopyCommutativeRingSpectrum}\hypertarget{HomotopyCommutativeRingSpectrum}{}
Given a [[homotopy commutative ring spectrum]] $E$ (i.e., via the [[Brown representability theorem]], a [[multiplicative cohomology theory|multiplicative]] [[generalized (Eilenberg-Steenrod) cohomology|generalized cohomology theory]]), then its [[stable homotopy groups]] $\pi_\bullet(E)$ inherit the structure of a $\mathbb{Z}$-graded super-commutative ring as in example \ref{SupercommutativeSuperalgebraZGraded}.

See at \emph{[[Introduction to Stable homotopy theory]]} in the section \href{Introduction+to+Stable+homotopy+theory+--+1-2#HomotopyRingSpectra}{1-2 Homotopy commutative ring spectra} \href{Introduction+to+Stable+homotopy+theory+--+1-2#HomotopyGroupsOfHomotopyCommutativeRingSpectrum}{this proposition}.

\end{example}
The following relation between $\mathbb{Z}$-grading and $\mathbb{Z}/2$-grading is elementary but important. It was highlighted in \href{periodic+ring+spectrum#Rezk09}{Rezk 09, section 2}:

\begin{prop}
\label{kbetaModules}\hypertarget{kbetaModules}{}
Write

\begin{displaymath}
k[\beta, \beta^{-1}]
    \in
  CMon( Vect^{\mathbb{Z}}_k, \otimes_k, \tau^{super} )
\end{displaymath}
for the $\mathbb{Z}$-graded-commutative algebra (example \ref{SupercommutativeSuperalgebraZGraded}) which is [[free construction|freely generated]] from a single invertible generator $\beta$ in degree 2:

\begin{displaymath}
\left(
    k[\beta,\beta^{-1}]
  \right)_n
  \;=\;
  \left\{
    \itexarray{
      k & \vert n\;\text{even}
      \\
      0 & \vert n \; \text{odd}
    }
  \right.
  \,.
\end{displaymath}
Then there are [[strong monoidal functors]]

\begin{displaymath}
k[\beta,\beta^{-1}] Mod
    \underoverset
      {\underset{(-)|_{0,1}}{\longrightarrow}}
      {\overset{}{\longleftarrow}}
      {\simeq}
  sVect_k
\end{displaymath}
which exhibit an [[equivalence of categories]] between its [[categories of modules]] (def. \ref{ModulesInMonoidalCategory}) and the category of [[super vector spaces]] (def. \ref{CategoryOfSuperVectorSpaces}).

Here the functor $(-)|_{0,1}$ sends a $\mathbb{Z}$-graded vector space $V = \underset{n \in \mathbb{Z}}{\oplus} V_n$ to the $\mathbb{Z}/2$-graded vector space $V_0 \oplus V_1$.

\end{prop}
\begin{proof}
It is clear that the functor $(-)|_{0,1}$ is [[essentially surjective functor|essentially surjective]]. Hence we need to see that it is [[fully faithful functor|fully faithful]].

Since $\beta$ is multiplicatively invertible, by definition, the [[module]]-property implies that for any $N \in k[\beta,\beta^{-1}]Mod$ then the [[action]] by $\beta$ and $\beta^{-1}$ establish [[linear map|linear]] [[isomorphisms]] of the form

\begin{displaymath}
N_n
    \underoverset
      {\underset{\beta }{\longrightarrow}}
      {\overset{\beta^{-1}}{\longleftarrow}}
      {\simeq}
  N_{n+2}
\end{displaymath}
for all $n \in \mathbb{N}$. Since [[morphisms]] $\phi \colon N_1 \to N_2$ in $k[\beta, \beta^{-1}] Mod$ respect the multiplication by $\beta$, they are uniquely determined by their components $\phi_0$ and $\phi_1$, hence by their image $\pho_{0,1}$ under the given functor, and every choice of components $\phi_0$ and $\phi_1$ extends to a mophism $\phi$. Hence $(-)|_{0,1}$ is [[fully faithful functor|fully faithful]].

\end{proof}
This implies that, conversely, plain supercommutative superalgebras arise as $\mathbb{Z}$-graded supercommutative superalgebra with extra structure:

\begin{prop}
\label{ModulesOverRbeta}\hypertarget{ModulesOverRbeta}{}
Write again

\begin{displaymath}
\mathbb{R}[\beta,\beta^{-1}] \in \mathrm{sCAlg}^{\mathbb{Z}}_{\mathbb{R}}
\end{displaymath}
for the [[free construction|free]] $\mathbb{Z}$-graded supercommutative superalgebra on a single invertible generator $\beta$ of even degree from prop. \ref{kbetaModules}.

Then there is an [[equivalence of categories]] between $\mathbb{R}[\beta,\beta^{-1}]$-algebras (def. \ref{AAlgebra}) (i.e. objects $A$ of $sCAlg^{\mathbb{Z}}_{\mathbb{R}}$ equipped with a homomorphism $\mathbb{R}[\beta, \beta^{-1}] \to A$, by prop. \ref{AlgebrasOverAAreMonoidsUnderA}) and plain supercommutative superalgebras (def. \ref{SupercommutativeSuperalgebra})

\begin{displaymath}
\mathbb{R}[\beta,\beta^{-1}] Alg
    \;\simeq\;
  sCAlg_{\mathbb{R}}
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By prop. \ref{kbetaModules} and prop. \ref{AlgebrasOverAAreMonoidsUnderA}.

\end{proof}
As before, all these considerations of course work also for $\mathbb{R}$ replaced by any other [[ground ring]].

\begin{example}
\label{SpectralSuperSchemes}\hypertarget{SpectralSuperSchemes}{}
Let $E$ be an [[even cohomology theory|even]] [[periodic ring spectrum|2-periodic]] [[E-infinity ring]], such as [[MP]], [[KU]] or the spectrum underlying any [[elliptic cohomology theory]] or [[Morava E-theory]]. Then its $\mathbb{Z}$-graded-commutative ring of [[stable homotopy groups]] according to example \ref{HomotopyCommutativeRingSpectrum} is of the form

\begin{displaymath}
\pi_\bullet(E) \simeq \pi_0(E)[\beta, \beta^{-1}]
\end{displaymath}
with $\beta$ an invertible generator in degree 2 (the [[complex oriented cohomology theory|complex orientation]]).

Accordingly, for $A$ an [[E-infinity algebra]] over $E$, hence an [[E-infinity ring]] equipped with an $E_\infty$-homomorphism $E \to A$, then its underlying $\mathbb{Z}$-graded commutative algebra $\pi_\bullet(E)$ (according to example \ref{HomotopyCommutativeRingSpectrum}) is an algebra over $\pi_0(E)[\beta, \beta^{-1}]$. Hence via prop. \ref{kbetaModules} $\pi_\bullet(A)$ is canonically identified with a [[supercommutative superalgebra]] over $\pi_0(E)[\beta, \beta^{-1}]$.

This is amplified in \href{periodic+ring+spectrum#Rezk09}{Rezk 09, section 2}. See at \emph{[[spectral super-scheme]]} for more.

\end{example}
Beware that for this equivalence of categories in prop. \ref{ModulesOverRbeta} the action of the element $\beta$ is crucual. The following proposition shows that it is not sufficient to just consider 2-periodically $\mathbb{Z}$-graded algebras:

\begin{prop}
\label{2PeriodicZGradedSupercommutativeSuperalgebras}\hypertarget{2PeriodicZGradedSupercommutativeSuperalgebras}{}
There is a pair of [[adjoint functors]]

\begin{displaymath}
sCAlg_{\mathbb{R}}
    \underoverset
      {\underset{per}{\longrightarrow}}
      {\overset{forget}{\longleftarrow}}
      {\bot}
  sCAlg^{\mathbb{Z}}_{\mathbb{R}}
\end{displaymath}
between the categories of [[supercommutative superalgebras]] (def. \ref{SupercommutativeSuperalgebra}) and that of $\mathbb{Z}$-graded supercommutative superalgebras according to def. \ref{SupercommutativeSuperalgebraZGraded}, where

\begin{itemize}%
\item the [[left adjoint]] simply forgets the lift to a $\mathbb{Z}$-grading,


\item the [[right adjoint]] sends a supercommutative superalgebra $A = (A_{even} \oplus A_{odd}, \cdot)$ to the \emph{periodically} $\mathbb{Z}$-graded algebra $A_{per}$ with

\begin{displaymath}
(A_{per})_n \coloneqq
   \left\{
     \itexarray{
    A_{even} & \vert n \; \text{is even}
    \\
    A_{odd} & \vert n \; \text{is odd}
     }
   \right.
\end{displaymath}
whose product is elementwise that of $A$, under these identifications;



\end{itemize}
Here $per$ is a [[faithful functor]], but not a [[full functor]].

\end{prop}
\begin{proof}
It is immediate to check the [[natural bijection]] between [[hom sets]] that characterizes the [[adjunction]]:

For $A \in sCAlg^{\mathbb{Z}}_{\mathbb{R}}$ and $B \in sCAlg_{\mathbb{R}}$ then a morphism

\begin{displaymath}
\phi \;\colon\; A \longrightarrow B_{per}
\end{displaymath}
in $sCAlg^{\mathbb{Z}}_{\mathbb{R}}$

is a [[homomorphism]] of the underlying $\mathbb{R}$-algebras subject to the constraint that for all $n \in \mathbb{Z}$ then

\begin{displaymath}
\phi(A_n)
    \subset
  (B_{per})_n
    =
  \left\{
    \itexarray{
       B_{even} & \vert n\; \text{is even}
       \\
       B_{odd} & \vert n \; \text{is odd}
    }
  \right.
  \,.
\end{displaymath}
This constraint is equivalent to

\begin{displaymath}
\phi(\oplus_{2n} A_{2n})
    \subset
  B_{even}
  \;\;\;\;\;\;
  \text{and}
  \;\;\;\;\;\;
  \phi(\oplus_{2n+1} A_{2n+1})
    \subset
  B_{odd}
\end{displaymath}
which in turn is equivalently the constraint on an algebra homomorphism to constitute a morphism of the form

\begin{displaymath}
\tilde \phi \;\colon\; forget(A) \longrightarrow B
  \,.
\end{displaymath}
This establishes the [[adjunction]].

It is immediate to see by direct inspection that $per$ is a [[faithful functor]]. More abstractly, from the above one sees that the [[counit of an adjunction|counit of the adjunction]] is on a superalgebra $A$ given by the morphism

\begin{displaymath}
\left(\oplus_{2n} A_{even}\right) \oplus \left(\oplus_{2n+1} A_{odd}\right)
    \longrightarrow
  A_{even} \oplus A_{odd}
\end{displaymath}
which is componentwise the identity. This is clearly an [[epimorphism]], but not a [[monomorphism]], hence not an [[isomorphism]]. By general properties of [[adjoint functors]] (\href{adjoint+functor#FullyFaithfulAndInvertibleAdjoints}{this prop.}), this means that $R$ is a [[faithful functor]] but not a [[full functor]].

\end{proof}
\hypertarget{affine_superschemes}{}\subsubsection*{{Affine superschemes}}\label{affine_superschemes}

It is useful to make explicit the following [[formal dual|formally dual]] perspective on [[supercommutative superalgebras]]:

\begin{defn}
\label{Affines}\hypertarget{Affines}{}
For $\mathcal{C}$ a [[symmetric monoidal category]], then we write

\begin{displaymath}
Aff(\mathcal{C}) \coloneqq CMon(\mathcal{C})^{op}
\end{displaymath}
for the [[opposite category]] of the [[category of commutative monoids]] in $\mathcal{C}$, according to def. \ref{MonoidsInMonoidalCategory}.

For $R \in CMon(\mathcal{C})$ we write

\begin{displaymath}
Spec(A)
  \in
  Aff(\mathcal{C})
\end{displaymath}
for the same object, regarded in the opposite category. We also call this the \textbf{[[affine scheme]]} of $A$. Conversely, for $X \in Aff(\mathcal{C})$, we write

\begin{displaymath}
\mathcal{O}(X) \in CMon(\mathcal{C})
\end{displaymath}
for the same object, regarded in the category of commutative monoids. We also call this the \textbf{[[algebra of functions]]} on $X$.

\end{defn}
\begin{defn}
\label{AffineSuperSchemes}\hypertarget{AffineSuperSchemes}{}
For the special case that $\mathal{C} =$ [[sVect]] (def. \ref{CategoryOfSuperVectorSpaces}) in def. \ref{Affines}, then we say that the objects in

\begin{displaymath}
Aff(sVect_k) = scAlg_k^{op} =  CMon(sVect_k)^{op}
\end{displaymath}
are \textbf{[[affine super schemes]]} over $k$.

\end{defn}
\begin{example}
\label{OrdinaryCAlgAssCAlg}\hypertarget{OrdinaryCAlgAssCAlg}{}
For $A \in CAlg_{\mathbb{R}}$ an ordinary [[commutative algebra]] over $\mathbb{R}$, then of course this becomes a [[supercommutative superalgebra]] by regarding it as being concentrated in even degrees. Accordingly, via def. \ref{Affines}, ordinary [[affine schemes]] [[full subcategory|fully embed]] into [[affine super schemes]] (def. \ref{AffineSuperSchemes})

\begin{displaymath}
Aff(Vect_k)
    \hookrightarrow
  Aff(sVect_k)
  \,.
\end{displaymath}
In particular for $\mathbb{R}^p$ an ordinary [[Cartesian space]], this becomes an [[affine superscheme]] in even degree, under the above embedding. As such, it is usually written

\begin{displaymath}
\mathbb{R}^{p \vert 0}
    \in
  Aff(sVect_k)
  \,.
\end{displaymath}
\end{example}
\begin{example}
\label{Superpoint}\hypertarget{Superpoint}{}
The formal dual space, according to def. \ref{Affines} (example \ref{Affines}) to a [[Grassmann algebra]] $\wedge^\bullet_{\mathbb{R}}(\mathbb{R}^q)$ (example \ref{GrassmannAlgebra}) is to be thought of as a space which is ``so tiny'' that the coefficients of the [[Taylor expansion]] of any real-valued function on it become ``so very small'' as to be actually equal to zero, at least after the $q$-th power.

For instance for $q = 2$ then a general element of $\wedge^\bullet_{\mathbb{R}}(\mathbb{R}^q)$ is of the form

\begin{displaymath}
f = a_0 + a_1 \theta_1 + a_2 \theta_2 + a_{12} \theta_1 \theta_2
  \;\;\;\in
  \wedge^\bullet_{\mathbb{R}}(\mathbb{R}^q)
  \,.
\end{displaymath}
for $a_1,a_2, a_{12} \in \mathbb{R}$, to be compared with the [[Taylor expansion]] of a [[smooth function]] $g \colon \mathbb{R}^2 \to \mathbb{R}$, which is of the form

\begin{displaymath}
g(x_1, x_2) =
  g(0) + \frac{\partial g}{\partial x_1}(0)\, x_1 + \frac{\partial g}{\partial x_2}(0)\, x_2
    +
    \frac{\partial^2 g}{\partial x_1 \partial x_2}(0) \, x_1 x_2
     +
      \cdots
  \,.
\end{displaymath}
Therefore the [[formal dual]] [[space]] to a [[Grassmann algebra]] behaves like an infinitesimal neighbourhood of a point. Hence these are also called \textbf{[[superpoints]]} and one writes

\begin{displaymath}
\mathbb{R}^{0\vert q}
    \coloneqq
  Spec(\wedge^\bullet_{\mathbb{R}}(\mathbb{R}^q))
  \,.
\end{displaymath}
\end{example}
\begin{example}
\label{SuperCartesianSpace}\hypertarget{SuperCartesianSpace}{}
Combining example \ref{OrdinaryCAlgAssCAlg} with example \ref{Superpoint}, and using prop. \ref{ProductsInAff}, we obtain the [[affine super schemes]]

\begin{displaymath}
\mathbb{R}^{p \vert q}
    \coloneqq
  \mathbb{R}^{p\vert 0}
    \times
  \mathbb{R}^{0\vert q}
    \simeq
  Spec\left(
     \underbrace{C^\infty(\mathbb{R}^p)}
       \otimes_{\mathbb{R}}
     \wedge^\bullet_{\mathbb{R}} \mathbb{R}^q
  \right)
  \,.
\end{displaymath}
These may be called the \textbf{[[super Cartesian spaces]]}. The play the same role in the theory of [[supermanifolds]] as the ordinary [[Cartesian spaces]] do for [[smooth manifolds]]. See at \emph{[[geometry of physics -- supergeometry]]} for more on this.

\end{example}
\begin{defn}
\label{ParityAutomorphism}\hypertarget{ParityAutomorphism}{}
Given a [[supercommutative superalgebra]] $A$ (def. \ref{SupercommutativeSuperalgebra}), its \textbf{parity involution} is the algebra [[automorphism]]

\begin{displaymath}
par \;\colon\; A \overset{\simeq}{\longrightarrow} A
\end{displaymath}
which on homogeneously graded elements $a$ of degree $deg(a) \in \{even,odd\} = \mathbb{Z}/2\mathbb{Z}$ is multiplication by the degree

\begin{displaymath}
a \mapsto (-1)^{deg(a)}a
  \,.
\end{displaymath}
(e.g. \href{http://arxiv.org/abs/1303.1916}{arXiv:1303.1916, 7.5})

Dually, via def. \ref{Affines}, this means that every [[affine super scheme]] has a canonical [[involution]].

\end{defn}
Here are more general and more abstract examples of commutative monoids, which will be useful to make explicit:

\begin{example}
\label{MonoidGivenByTensorUnit}\hypertarget{MonoidGivenByTensorUnit}{}
Given a [[monoidal category]] $(\mathcal{C}, \otimes, 1)$ (def. \ref{MonoidalCategory}), then the [[tensor unit]] $1$ is a [[monoid in a monoidal category|monoid in]] $\mathcal{C}$ (def. \ref{MonoidsInMonoidalCategory}) with product given by either the left or right [[unitor]]

\begin{displaymath}
\ell_1 = r_1 \;\colon\; 1 \otimes 1 \overset{\simeq}{\longrightarrow} 1
  \,.
\end{displaymath}
By lemma \ref{kel1}, these two morphisms coincide and define an [[associativity|associative]] product with unit the identity $id \colon 1 \to 1$.

If $(\mathcal{C}, \otimes , 1)$ is a [[symmetric monoidal category]] (def. \ref{SymmetricMonoidalCategory}), then this monoid is a [[commutative monoid in a symmetric monoidal category|commutative monoid]].

\end{example}
\begin{example}
\label{TensorProductOfTwoCommutativeMonoids}\hypertarget{TensorProductOfTwoCommutativeMonoids}{}
Given a [[symmetric monoidal category]] $(\mathcal{C}, \otimes, 1)$ (def. \ref{SymmetricMonoidalCategory}), and given two [[commutative monoid in a symmetric monoidal category|commutative monoids]] $(E_i, \mu_i, e_i)$, $i \in \{1,2\}$ (def. \ref{MonoidsInMonoidalCategory}), then the [[tensor product]] $E_1 \otimes E_2$ becomes itself a commutative monoid with unit morphism

\begin{displaymath}
e \;\colon\;
  1
    \overset{\simeq}{\longrightarrow}
  1 \otimes 1
    \overset{e_1 \otimes e_2}{\longrightarrow}
  E_1 \otimes E_2
\end{displaymath}
(where the first isomorphism is, $\ell_1^{-1} = r_1^{-1}$ (lemma \ref{kel1})) and with product morphism given by

\begin{displaymath}
E_1 \otimes E_2
   \otimes
  E_1 \otimes E_2
   \overset{id \otimes \tau_{E_2, E_1} \otimes id}{\longrightarrow}
  E_1 \otimes E_1 \otimes E_2 \otimes E_2
   \overset{\mu_1 \otimes \mu_2}{\longrightarrow}
  E_1 \otimes E_2
\end{displaymath}
(where we are notationally suppressing the [[associators]] and where $\tau$ denotes the [[braiding]] of $\mathcal{C}$).

That this definition indeed satisfies associativity and commutativity follows from the corresponding properties of $(E_i,\mu_i, e_i)$, and from the hexagon identities for the braiding (def. \ref{BraidedMonoidalCategory}) and from symmetry of the braiding.

Similarly one checks that for $E_1 = E_2 = E$ then the unit maps

\begin{displaymath}
E \simeq E \otimes 1
    \overset{id \otimes e}{\longrightarrow}
  E \otimes E
\end{displaymath}
\begin{displaymath}
E \simeq 1 \otimes E
    \overset{e \otimes 1}{\longrightarrow}
  E \otimes E
\end{displaymath}
and the product map

\begin{displaymath}
\mu
    \;\colon\;
  E \otimes E
    \longrightarrow
  E
\end{displaymath}
and the braiding

\begin{displaymath}
\tau_{E,E}
    \;\colon\;
  E \otimes E
    \longrightarrow
  E \otimes E
\end{displaymath}
are monoid homomorphisms, with $E \otimes E$ equipped with the above monoid structure.

\end{example}
Monoids are preserved by [[lax monoidal functors]]:

\begin{prop}
\label{MonoidsPreservedByLaxMonoidalFunctor}\hypertarget{MonoidsPreservedByLaxMonoidalFunctor}{}
Let $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D}, \otimes_{\mathcal{D}},1_{\mathcal{D}})$ be two [[monoidal categories]] (def. \ref{MonoidalCategory}) and let $F \;\colon\; \mathcal{C} \longrightarrow \mathcal{D}$ be a [[lax monoidal functor]] (def. \ref{LaxMonoidalFunctor}) between them.

Then for $(A,\mu_A,e_A)$ a [[monoid in a monoidal category|monoid in]] $\mathcal{C}$ (def. \ref{MonoidsInMonoidalCategory}), its image $F(A) \in \mathcal{D}$ becomes a monoid $(F(A), \mu_{F(A)}, e_{F(A)})$ by setting

\begin{displaymath}
\mu_{F(A)}
   \;\colon\;
  F(A) \otimes_{\mathcal{C}} F(A)
    \overset{}{\longrightarrow}
  F(A \otimes_{\mathcal{C}} A)
    \overset{F(\mu_A)}{\longrightarrow}
  F(A)
\end{displaymath}
(where the first morphism is the structure morphism of $F$) and setting

\begin{displaymath}
e_{F(A)}
    \;\colon\;
  1_{\mathcal{D}}
    \longrightarrow
  F(1_{\mathcal{C}})
    \overset{F(e_A)}{\longrightarrow}
  F(A)
\end{displaymath}
(where again the first morphism is the corresponding structure morphism of $F$).

This construction extends to a functor

\begin{displaymath}
Mon(F)
   \;\colon\;
  Mon(\mathcal{C}, \otimes_{\mathcal{C}}, 1_{\mathcal{C}})
    \longrightarrow
  Mon(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}})
\end{displaymath}
from the [[category of monoids]] of $\mathcal{C}$ (def. \ref{MonoidsInMonoidalCategory}) to that of $\mathcal{D}$.

Moreover, if $\mathcal{C}$ and $\mathcal{D}$ are [[symmetric monoidal categories]] (def. \ref{SymmetricMonoidalCategory}) and $F$ is a [[braided monoidal functor]] (def. \ref{LaxMonoidalFunctor}) and $A$ is a [[commutative monoid]] (def. \ref{MonoidsInMonoidalCategory}) then so is $F(A)$, and this construction extends to a functor

\begin{displaymath}
CMon(F)
   \;\colon\;
  CMon(\mathcal{C}, \otimes_{\mathcal{C}}, 1_{\mathcal{C}})
    \longrightarrow
  CMon(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}})
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
This follows immediately from combining the associativity and unitality (and symmetry) constraints of $F$ with those of $A$.

\end{proof}
\hypertarget{ModulesInTensorCategories}{}\subsection*{{Modules in tensor categories and Super vector bundles}}\label{ModulesInTensorCategories}

Above (in def. \ref{Affines}) we considered spaces $X$ from a dual perspective, as determined by their [[algebras of functions]] $\mathcal{O}(X)$. In the same spirit then we are to express various constructions on and with spaces in terms of dual algebraic constructions.

A key such construction is that of [[vector bundles]] over $X$. Here we discuss the corresponding algebraic incarnation of these, namely as \emph{[[modules]]} over [[algebras of functions]].

Suppose that $X$ is a [[smooth manifold]], and $V \stackrel{p}{\to} X$ is an ordinary smooth real [[vector bundle]] over $X$. A [[section]] of this vector bundle is a smooth function $\sigma \colon X \to V$ such that $p \circ \sigma = id$

\begin{displaymath}
\itexarray{
     && V
    \\ & {}^{\mathllap{\sigma}}\nearrow & \downarrow^{\mathrlap{p}}
    \\
    X &=& X
  }
  \,.
\end{displaymath}
Write $\Gamma_X(V)$ for the set of all such sections. Observe that this set inherits various extra [[stuff, structure, property|structure]].

First of all, since $V \to X$ is a vector bundle, we have [[fiber]]-wise the vector space operations. This means that given two elements $c_1, c_2 \in \mathbb{R}$ in the [[real numbers]], and given two sections $\sigma_1$ and $\sigma_2$, we may form in each [[fiber]] $V_x$ the [[linear combination]] $c_1 \sigma_1(x) + c_2 \sigma_2(x)$. This hence yields a new section $c_1 \sigma_1 + c_2 \sigma_2$. Hence the set of sections of a vector bundle naturally forms itself a vector space.

But there is more structure. We need not multiply with the same element $c \in \mathbb{R}$ in each fiber, but we may multiply the section in each fiber by a different element, as long as the choice of element varies smoothly with the fibers, so that the resulting section is still smooth.

In other words, every element $f \in C^\infty(X)$ in the $\mathbb{R}$-algebra of [[smooth functions]] on $X$, takes a smooth section $\sigma$ of $V$ to a new smooth section $f \cdot \sigma$. This operation enjoys some evident properties. It is [[bilinear map|bilinear]] in the real vector spaces $C^\infty(X)$ and $\Gamma_X(V)$, and it satisfies the ``[[action|action property]]''

\begin{displaymath}
(f g) \cdot \sigma = f\cdot (g \cdot \sigma)
\end{displaymath}
for any two smooth functions $f,g \in C^\infty(X)$.

One says that a [[vector space]] such as $\Gamma_X(V)$ equipped with an [[action]] of an algebra $R$ this way is a \emph{[[module]]} over $R$.

In conclusion, any [[vector bundle]] $V \to X$ gives rise to an $C^\infty(X)$-[[module]] $\Gamma_X(V)$ of [[sections]].

The \emph{[[smooth Serre-Swan theorem]]} states sufficient conditions on $X$ such that the converse holds. Together with the [[embedding of smooth manifolds into formal duals of R-algebras]] (prop \ref{EmbeddingOfSmoothManifoldsIntoRAlgebras}), this means that [[differential geometry]] is ``more algebraic'' than it might superficially seem, hence that its ``algebraic deformation'' to [[supergeometry]] is more natura than it might superficially seem:

\begin{prop}
\label{}\hypertarget{}{}
\textbf{([[smooth Serre-Swan theorem]], \href{smooth+Serre-Swan+theorem#Nestruev03}{Nestruev 03})}

For $X$ a [[smooth manifold]], then the construction which sends a smooth [[vector bundle]] $V \to X$ to its $C^\infty(X)$-[[module]] $\Gamma_X(V)$ of [[sections]] is an [[equivalence of categories]]

\begin{displaymath}
VectBund_X^{fin}
    \stackrel{\simeq}{\longrightarrow}
  C^\infty(X) Mod_{proj}^{fin\,gen}
\end{displaymath}
between that of smooth [[vector bundles]] of finite [[rank]] over $X$ and that of [[finitely generated object|finitely generated]] [[projective modules]] over the $\mathbb{R}$-[[associative algebra|algebra]] $C^\infty(X)$ of [[smooth functions]] on $X$.

\end{prop}
One may turn the [[Serre-Swan theorem]] around to regard for $R$ any [[commutative monoid]] in some [[symmetric monoidal category]] (def. \ref{MonoidsInMonoidalCategory}), the [[modules]] over $R$ as ``generalized vector bundles'' over the space $Spec(R)$ (def. \ref{Affines}). These ``generalized vector bundles'' are called ``[[quasicoherent sheaves]]'' over affines. Specified to the case that $\mathcal{C} =$ [[sVect]], this hence yields a concept of \textbf{super vector bundles}.

We now state the relevant definitions and constructions formally.

\begin{defn}
\label{ModulesInMonoidalCategory}\hypertarget{ModulesInMonoidalCategory}{}
Given a [[monoidal category]] $(\mathcal{C}, \otimes, 1)$ (def. \ref{MonoidalCategory}), and given $(A,\mu,e)$ a [[monoid in a monoidal category|monoid in]] $(\mathcal{C}, \otimes, 1)$ (def. \ref{MonoidsInMonoidalCategory}), then a \textbf{left [[module object]]} in $(\mathcal{C}, \otimes, 1)$ over $(A,\mu,e)$ is

\begin{enumerate}%
\item an [[object]] $N \in \mathcal{C}$;


\item a [[morphism]] $\rho \;\colon\; A \otimes N \longrightarrow N$ (called the \emph{[[action]]});



\end{enumerate}
such that

\begin{enumerate}%
\item ([[unitality]]) the following [[commuting diagram|diagram commutes]]:

\begin{displaymath}
\itexarray{
    1 \otimes N
      &\overset{e \otimes id}{\longrightarrow}&
    A \otimes N
    \\
    & {}_{\mathllap{\ell}}\searrow
    & \downarrow^{\mathrlap{\rho}}
    \\
    && N
  }
  \,,
\end{displaymath}
where $\ell$ is the left unitor isomorphism of $\mathcal{C}$.


\item (action property) the following [[commuting diagram|diagram commutes]]

\begin{displaymath}
\itexarray{
    (A\otimes A) \otimes N
      &\underoverset{\simeq}{a_{A,A,N}}{\longrightarrow}&
    A \otimes (A \otimes N)
      &\overset{A \otimes \rho}{\longrightarrow}&
    A \otimes N
    \\
    {}^{\mathllap{\mu \otimes N}}\downarrow
      && &&
    \downarrow^{\mathrlap{\rho}}
    \\
    A \otimes N
      &\longrightarrow&
      &\overset{\rho}{\longrightarrow}&
    N
  }
  \,,
\end{displaymath}


\end{enumerate}
A [[homomorphism]] of left $A$-module objects

\begin{displaymath}
(N_1, \rho_1) \longrightarrow (N_2, \rho_2)
\end{displaymath}
is a morphism

\begin{displaymath}
f\;\colon\; N_1 \longrightarrow N_2
\end{displaymath}
in $\mathcal{C}$, such that the following [[commuting diagram|diagram commutes]]:

\begin{displaymath}
\itexarray{
    A\otimes N_1 &\overset{A \otimes f}{\longrightarrow}& A\otimes N_2
    \\
    {}^{\mathllap{\rho_1}}\downarrow
      &&
    \downarrow^{\mathrlap{\rho_2}}
    \\
    N_1 &\underset{f}{\longrightarrow}& N_2
  }
  \,.
\end{displaymath}
For the resulting \textbf{[[category of modules]]} of left $A$-modules in $\mathcal{C}$ with $A$-module homomorphisms between them, we write

\begin{displaymath}
A Mod(\mathcal{C})
  \,.
\end{displaymath}
\end{defn}
The following degenerate example turns out to be important for the general development of the theory below.

\begin{example}
\label{EveryObjectIsModuleOverTensorUnit}\hypertarget{EveryObjectIsModuleOverTensorUnit}{}
Given a [[monoidal category]] $(\mathcal{C},\otimes, 1)$ (def. \ref{MonoidalCategory}) with the [[tensor unit]] $1$ regarded as a [[monoid in a monoidal category]] via example \ref{MonoidGivenByTensorUnit}, then the left [[unitor]]

\begin{displaymath}
\ell_C
    \;\colon\;
  1\otimes C \longrightarrow C
\end{displaymath}
makes every object $C \in \mathcal{C}$ into a left module, according to def. \ref{ModulesInMonoidalCategory}, over $C$. The action property holds due to lemma \ref{kel1}. This gives an [[equivalence of categories]]

\begin{displaymath}
\mathcal{C} \simeq 1 Mod(\mathcal{C})
\end{displaymath}
of $\mathcal{C}$ with the [[category of modules]] over its tensor unit.

\end{example}
\begin{example}
\label{RingsAreMonoidsInAb}\hypertarget{RingsAreMonoidsInAb}{}
The classical subject of [[algebra]], not necessarily over [[ground fields]], is the above general concepts of monoids and their modules specialized to the ambient [[symmetric monoidal category]] being the category [[Ab]] of [[abelian groups]] regarded as a [[symmetric monoidal category]] via the [[tensor product of abelian groups]] $\otimes_{\mathbb{Z}}$ (whose [[tensor unit]] is the additive group of [[integers]] $\mathbb{Z}$):

\begin{enumerate}%
\item A [[monoid in a monoidal category|monoid in]] $(Ab, \otimes_{\mathbb{Z}}, \mathbb{Z})$ (def. \ref{MonoidsInMonoidalCategory}) is equivalently a [[ring]].


\item A [[commutative monoid in a symmetric monoidal category|commutative monoid in]] in $(Ab, \otimes_{\mathbb{Z}}, \mathbb{Z})$ (def. \ref{MonoidsInMonoidalCategory}) is equivalently a [[commutative ring]] $R$.


\item An $R$-[[module object]] in $(Ab, \otimes_{\mathbb{Z}}, \mathbb{Z})$ (def. \ref{ModulesInMonoidalCategory}) is equivalently an $R$-[[module]];


\item The tensor product of $R$-module objects (def. \ref{TensorProductOfModulesOverCommutativeMonoidObject}) is the standard [[tensor product of modules]].


\item The [[category of modules|category of module objects]] $R Mod(Ab)$ (def. \ref{TensorProductOfModulesOverCommutativeMonoidObject}) is the standard [[category of modules]] $R Mod$.



\end{enumerate}
\end{example}
\begin{example}
\label{ModulesOverGGroupRing}\hypertarget{ModulesOverGGroupRing}{}
Let $G$ be a [[discrete group]] and write $k[G]$ for its [[group algebra]] over the [[ground field]] $k$. Then $k[G]$-[[modules]] in [[Vect]] are equivalently [[linear representations]] of $G$.

\end{example}
\begin{prop}
\label{MonoidModuleOverItself}\hypertarget{MonoidModuleOverItself}{}
In the situation of def. \ref{ModulesInMonoidalCategory}, the monoid $(A,\mu, e)$ canonically becomes a left module over itself by setting $\rho \coloneqq \mu$. More generally, for $C \in \mathcal{C}$ any object, then $A \otimes C$ naturally becomes a left $A$-module by setting:

\begin{displaymath}
\rho
  \;\colon\;
  A \otimes (A \otimes C)
   \underoverset{\simeq}{a^{-1}_{A,A,C}}{\longrightarrow}
  (A \otimes A) \otimes C
    \overset{\mu \otimes id}{\longrightarrow}
  A \otimes C
  \,.
\end{displaymath}
The $A$-modules of this form are called \textbf{[[free modules]]}.

The [[free functor]] $F$ constructing free $A$-modules is [[left adjoint]] to the [[forgetful functor]] $U$ which sends a module $(N,\rho)$ to the underlying object $U(N,\rho) \coloneqq N$.

\begin{displaymath}
A Mod(\mathcal{C})
    \underoverset
     {\underset{U}{\longrightarrow}}
     {\overset{F}{\longleftarrow}}
     {\bot}
  \mathcal{C}
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
A homomorphism out of a free $A$-module is a morphism in $\mathcal{C}$ of the form

\begin{displaymath}
f \;\colon\; A\otimes C \longrightarrow N
\end{displaymath}
fitting into the diagram (where we are notationally suppressing the [[associator]])

\begin{displaymath}
\itexarray{
    A \otimes A \otimes C
      &\overset{A \otimes f}{\longrightarrow}&
    A \otimes N
    \\
    {}^{\mathllap{\mu \otimes id}}\downarrow
      &&
    \downarrow^{\mathrlap{\rho}}
    \\
    A \otimes C
      &\underset{f}{\longrightarrow}&
    N
  }
  \,.
\end{displaymath}
Consider the composite

\begin{displaymath}
\tilde f
    \;\colon\;
  C
    \underoverset{\simeq}{\ell_C}{\longrightarrow}
  1 \otimes C
    \overset{e\otimes id}{\longrightarrow}
  A \otimes C
    \overset{f}{\longrightarrow}
  N
  \,,
\end{displaymath}
i.e. the restriction of $f$ to the unit ``in'' $A$. By definition, this fits into a [[commuting square]] of the form (where we are now notationally suppressing the [[associator]] and the [[unitor]])

\begin{displaymath}
\itexarray{
   A \otimes C
     &\overset{id \otimes \tilde f}{\longrightarrow}&
   A \otimes N
   \\
   {}^{\mathllap{id \otimes e \otimes id}}\downarrow
     &&
   \downarrow^{\mathrlap{=}}
   \\
   A \otimes A \otimes C
    &\underset{id \otimes f}{\longrightarrow}&
   A \otimes N
  }
  \,.
\end{displaymath}
Pasting this square onto the top of the previous one yields

\begin{displaymath}
\itexarray{
   A \otimes C
     &\overset{id \otimes \tilde f}{\longrightarrow}&
   A \otimes N
   \\
   {}^{\mathllap{id \otimes e \otimes id}}\downarrow
     &&
   \downarrow^{\mathrlap{=}}
    \\
    A \otimes A \otimes C
      &\overset{A \otimes f}{\longrightarrow}&
    A \otimes N
    \\
    {}^{\mathllap{\mu \otimes id}}\downarrow
      &&
    \downarrow^{\mathrlap{\rho}}
    \\
    A \otimes C
      &\underset{f}{\longrightarrow}&
    N
  }
  \,,
\end{displaymath}
where now the left vertical composite is the identity, by the unit law in $A$. This shows that $f$ is uniquely determined by $\tilde f$ via the relation

\begin{displaymath}
f = \rho \circ (id_A \otimes \tilde f)
  \,.
\end{displaymath}
This natural bijection between $f$ and $\tilde f$ establishes the adjunction.

\end{proof}
\begin{defn}
\label{TensorProductOfModulesOverCommutativeMonoidObject}\hypertarget{TensorProductOfModulesOverCommutativeMonoidObject}{}
Given a [[closed monoidal category|closed]] [[symmetric monoidal category]] $(\mathcal{C}, \otimes, 1)$ with [[braiding]] denoted $\tau$ (def. \ref{SymmetricMonoidalCategory}, def. \ref{ClosedMonoidalCategory}), given $(A,\mu,e)$ a [[commutative monoid in a symmetric monoidal category|commutative monoid in]] $(\mathcal{C}, \otimes, 1)$ (def. \ref{MonoidsInMonoidalCategory}), and given $(N_1, \rho_1)$ and $(N_2, \rho_2)$ two left $A$-[[module objects]] (def.\ref{MonoidsInMonoidalCategory}), then

\begin{enumerate}%
\item the \textbf{[[tensor product of modules]]} $N_1 \otimes_A N_2$ is, if it exists, the [[coequalizer]]

\begin{displaymath}
N_1 \otimes A \otimes N_2
  \underoverset
    {\underset{\rho_{1}\circ (\tau_{N_1,A} \otimes N_2)}{\longrightarrow}}
    {\overset{N_1 \otimes \rho_2}{\longrightarrow}}
    {\phantom{AAAA}}
  N_1 \otimes N_1
    \overset{coeq}{\longrightarrow}
  N_1 \otimes_A N_2
\end{displaymath}
and if $A \otimes (-)$ preserves these coequalizers, then this is equipped with the left $A$-action induced from the left $A$-action on $N_1$


\item the \textbf{function module} $hom_A(N_1,N_2)$ is, if it exists, the [[equalizer]]

\begin{displaymath}
hom_A(N_1, N_2)
    \overset{equ}{\longrightarrow}
  hom(N_1, N_2)
    \underoverset
      {\underset{hom(A \otimes N_1, \rho_2)\circ (A \otimes(-))}{\longrightarrow}}
      {\overset{hom(\rho_1,N_2)}{\longrightarrow}}
      {\phantom{AAAAAA}}
    hom(A \otimes N_1, N_2)
  \,.
\end{displaymath}
equipped with the left $A$-action that is induced by the left $A$-action on $N_2$ via

\begin{displaymath}
\frac{
    A \otimes hom(X,N_2) \longrightarrow hom(X,N_2)
  }{
   A \otimes hom(X,N_2) \otimes X
     \overset{id \otimes ev}{\longrightarrow}
   A \otimes N_2 \overset{\rho_2}{\longrightarrow} N_2
  }
  \,.
\end{displaymath}


\end{enumerate}
\end{defn}
(e.g. \hyperlink{HoveyShipleySmith00}{Hovey-Shipley-Smith 00, lemma 2.2.2 and lemma 2.2.8})

\begin{prop}
\label{MonoidalCategoryOfModules}\hypertarget{MonoidalCategoryOfModules}{}
Given a [[closed monoidal category|closed]] [[symmetric monoidal category]] $(\mathcal{C}, \otimes, 1)$ (def. \ref{SymmetricMonoidalCategory}, def. \ref{ClosedMonoidalCategory}), and given $(A,\mu,e)$ a [[commutative monoid in a symmetric monoidal category|commutative monoid in]] $(\mathcal{C}, \otimes, 1)$ (def. \ref{MonoidsInMonoidalCategory}). If all [[coequalizers]] exist in $\mathcal{C}$, then the [[tensor product of modules]] $\otimes_A$ from def. \ref{TensorProductOfModulesOverCommutativeMonoidObject} makes the [[category of modules]] $A Mod(\mathcal{C})$ into a [[symmetric monoidal category]], $(A Mod, \otimes_A, A)$ with [[tensor unit]] the object $A$ itself, regarded as an $A$-module via prop. \ref{MonoidModuleOverItself}.

If moreover all [[equalizers]] exist, then this is a [[closed monoidal category]] (def. \ref{ClosedMonoidalCategory}) with [[internal hom]] given by the function modules $hom_A$ of def. \ref{TensorProductOfModulesOverCommutativeMonoidObject}.

\end{prop}
(e.g. \hyperlink{HoveyShipleySmith00}{Hovey-Shipley-Smith 00, lemma 2.2.2, lemma 2.2.8})

\begin{proof}
The associators and braiding for $\otimes_{A}$ are induced directly from those of $\otimes$ and the [[universal property]] of [[coequalizers]]. That $A$ is the tensor unit for $\otimes_{A}$ follows with the same kind of argument that we give in the proof of example \ref{FreeModulesTensorProduct} below.

\end{proof}
\begin{example}
\label{FreeModulesTensorProduct}\hypertarget{FreeModulesTensorProduct}{}
For $(A,\mu,e)$ a [[monoid in a monoidal category|monoid]] (def. \ref{MonoidsInMonoidalCategory}) in a [[symmetric monoidal category]] $(\mathcal{C},\otimes, 1)$ (def. \ref{MonoidalCategory}), the [[tensor product of modules]] (def. \ref{TensorProductOfModulesOverCommutativeMonoidObject}) of two [[free modules]] (def. \ref{MonoidModuleOverItself}) $A\otimes C_1$ and $A \otimes C_2$ always exists and is the free module over the tensor product in $\mathcal{C}$ of the two generators:

\begin{displaymath}
(A \otimes C_1) \otimes_A (A \otimes C_2)
  \simeq
  A \otimes (C_1 \otimes C_2)
  \,.
\end{displaymath}
Hence if $\mathcal{C}$ has all [[coequalizers]], so that the [[category of modules]] is a [[monoidal category]] $(A Mod, \otimes_A, A)$ (prop. \ref{MonoidalCategoryOfModules}) then the free module functor (def. \ref{MonoidModuleOverItself}) is a [[strong monoidal functor]] (def. \ref{LaxMonoidalFunctor})

\begin{displaymath}
F
    \;\colon\;
  (\mathcal{C}, \otimes, 1)
    \longrightarrow
  (A Mod, \otimes_A, A)
  \,.
\end{displaymath}
\end{example}
\begin{proof}
It is sufficient to show that the diagram

\begin{displaymath}
A \otimes A \otimes A
   \underoverset
    {\underset{id \otimes \mu}{\longrightarrow}}
    {\overset{\mu \otimes id}{\longrightarrow}}
    {\phantom{AAAA}}
  A \otimes A
    \overset{\mu}{\longrightarrow}
  A
\end{displaymath}
is a [[coequalizer]] diagram (we are notationally suppressing the [[associators]]), hence that $A \otimes_A A \simeq A$, hence that the claim holds for $C_1 = 1$ and $C_2 = 1$.

To that end, we check the [[universal property]] of the [[coequalizer]]:

First observe that $\mu$ indeed coequalizes $id \otimes \mu$ with $\mu \otimes id$, since this is just the [[associativity]] clause in def. \ref{MonoidsInMonoidalCategory}. So for $f \colon A \otimes A \longrightarrow Q$ any other morphism with this property, we need to show that there is a unique morphism $\phi \colon A \longrightarrow Q$ which makes this [[commuting diagram|diagram commute]]:

\begin{displaymath}
\itexarray{
    A \otimes A &\overset{\mu}{\longrightarrow}& A
    \\
    {}^{\mathllap{f}}\downarrow & \swarrow_{\mathrlap{\phi}}
    \\
    Q
  }
  \,.
\end{displaymath}
We claim that

\begin{displaymath}
\phi
    \;\colon\;
  A
    \underoverset{\simeq}{r^{-1}}{\longrightarrow}
  A \otimes 1
    \overset{id \otimes e}{\longrightarrow}
  A \otimes A
    \overset{f}{\longrightarrow}
  Q
  \,,
\end{displaymath}
where the first morphism is the inverse of the right [[unitor]] of $\mathcal{C}$.

First to see that this does make the required triangle commute, consider the following pasting composite of [[commuting diagrams]]

\begin{displaymath}
\itexarray{
    A \otimes A &\overset{\mu}{\longrightarrow}& A
    \\
    {}^{\mathllap{id \otimes r^{-1}}}_{\mathllap{\simeq}}\downarrow
      &&
    \downarrow^{\mathrlap{r^{-1}}}_{\simeq}
    \\
    A \otimes A \otimes 1
      &\overset{\mu \otimes id}{\longrightarrow}&
    A \otimes 1
    \\
    {}^{\mathllap{id \otimes e}}\downarrow
      &&
    \downarrow^{\mathrlap{id \otimes e} }
    \\
    A \otimes A \otimes A
      &\overset{\mu \otimes id}{\longrightarrow}&
    A \otimes A
    \\
    {}^{\mathllap{id \otimes \mu}}\downarrow
      &&
    \downarrow^{\mathrlap{f}}
    \\
    A \otimes A
      &\underset{f}{\longrightarrow}&
    Q
  }
  \,.
\end{displaymath}
Here the the top square is the [[natural transformation|naturality]] of the right [[unitor]], the middle square commutes by the functoriality of the tensor product $\otimes \;\colon\; \mathcal{C}\times \mathcal{C} \longrightarrow \mathcal{C}$ and the definition of the [[product category]] (def. \ref{OppositeAndProductOfPointedTopologicallyEnrichedCategory}), while the commutativity of the bottom square is the assumption that $f$ coequalizes $id \otimes \mu$ with $\mu \otimes id$.

Here the right vertical composite is $\phi$, while, by \hyperlink{UnitalityMonoid}{unitality} of $(A,\mu ,e)$, the left vertical composite is the identity on $A$, Hence the diagram says that $\phi \circ \mu = f$, which we needed to show.

It remains to see that $\phi$ is the unique morphism with this property for given $f$. For that let $q \colon A \to Q$ be any other morphism with $q\circ \mu = f$. Then consider the [[commuting diagram]]

\begin{displaymath}
\itexarray{
    A \otimes 1 &\overset{\simeq}{\longleftarrow}& A
    \\
    {}^{\mathllap{id\otimes e}}\downarrow & \searrow^{\simeq}
    & \downarrow^{\mathrlap{=}}
    \\
    A \otimes A &\overset{\mu}{\longrightarrow}& A
    \\
    {}^{\mathllap{f}}\downarrow & \swarrow_{\mathrlap{q}}
    \\
    Q
  }
  \,,
\end{displaymath}
where the top left triangle is the \hyperlink{UnitalityMonoid}{unitality} condition and the two isomorphisms are the right [[unitor]] and its inverse. The commutativity of this diagram says that $q = \phi$.

\end{proof}
\begin{defn}
\label{AAlgebra}\hypertarget{AAlgebra}{}
Given a [[monoidal category|monoidal]] [[category of modules]] $(A Mod , \otimes_A , A)$ as in prop. \ref{MonoidalCategoryOfModules}, then a [[monoid in a monoidal category|monoid]] $(E, \mu, e)$ in $(A Mod , \otimes_A , A)$ (def. \ref{MonoidsInMonoidalCategory}) is called an \textbf{$A$-[[associative algebra|algebra]]}.

\end{defn}
\begin{prop}
\label{AlgebrasOverAAreMonoidsUnderA}\hypertarget{AlgebrasOverAAreMonoidsUnderA}{}
Given a [[monoidal category|monoidal]] [[category of modules]] $(A Mod , \otimes_A , A)$ in a [[monoidal category]] $(\mathcal{C},\otimes, 1)$ as in prop. \ref{MonoidalCategoryOfModules}, and an $A$-algebra $(E,\mu,e)$ (def. \ref{AAlgebra}), then there is an [[equivalence of categories]]

\begin{displaymath}
A Alg_{comm}(\mathcal{C})
    \coloneqq
  CMon(A Mod)
   \simeq
  CMon(\mathcal{C})^{A/}
\end{displaymath}
between the [[category of commutative monoids]] in $A Mod$ and the [[coslice category]] of commutative monoids in $\mathcal{C}$ under $A$, hence between commutative $A$-algebras in $\mathcal{C}$ and commutative monoids $E$ in $\mathcal{C}$ that are equipped with a homomorphism of monoids $A \longrightarrow E$.

\end{prop}
(e.g. \hyperlink{EKMM97}{EKMM 97, VII lemma 1.3})

\begin{proof}
In one direction, consider a $A$-algebra $E$ with unit $e_E \;\colon\; A \longrightarrow E$ and product $\mu_{E/A} \colon E \otimes_A E \longrightarrow E$. There is the underlying product $\mu_E$

\begin{displaymath}
\itexarray{
    E \otimes A \otimes E
    &
    \underoverset
      {\underset{}{\longrightarrow}}
      {\overset{}{\longrightarrow}}
      {\phantom{AAA}}
    &
    E \otimes E
     &\overset{coeq}{\longrightarrow}&
    E \otimes_A E
    \\
    && & {}_{\mathllap{\mu_E}}\searrow & \downarrow^{\mathrlap{\mu_{E/A}}}
    \\
    && && E
  }
  \,.
\end{displaymath}
By considering a diagram of such coequalizer diagrams with middle vertical morphism $e_E\circ e_A$, one find that this is a unit for $\mu_E$ and that $(E, \mu_E, e_E \circ e_A)$ is a commutative monoid in $(\mathcal{C}, \otimes, 1)$.

Then consider the two conditions on the unit $e_E \colon A \longrightarrow E$. First of all this is an $A$-module homomorphism, which means that

\begin{displaymath}
(\star)
  \;\;\;\;\;
  \;\;\;\;\;
  \itexarray{
    A \otimes A &\overset{id \otimes e_E}{\longrightarrow}& A \otimes E
    \\
    {}^{\mathllap{\mu_A}}\downarrow && \downarrow^{\mathrlap{\rho}}
    \\
    A &\underset{e_E}{\longrightarrow}& E
  }
\end{displaymath}
[[commuting diagram|commutes]]. Moreover it satisfies the unit property

\begin{displaymath}
\itexarray{
    A \otimes_A E
      &\overset{e_A \otimes id}{\longrightarrow}&
    E \otimes_A E
    \\
    & {}_{\mathllap{\simeq}}\searrow & \downarrow^{\mathrlap{\mu_{E/A}}}
    \\
    && E
  }
  \,.
\end{displaymath}
By forgetting the tensor product over $A$, the latter gives

\begin{displaymath}
\itexarray{
    A \otimes E
      &\overset{e \otimes id}{\longrightarrow}&
    E \otimes E
    \\
    \downarrow && \downarrow^{\mathrlap{}}
    \\
    A \otimes_A E
      &\overset{e_E \otimes id}{\longrightarrow}&
    E \otimes_A E
    \\
    {}^{\mathllap{\simeq}}\downarrow
      &&
    \downarrow^{\mathrlap{\mu_{E/A}}}
    \\
    E &=& E
  }
  \;\;\;\;\;\;\;\;
   \simeq
  \;\;\;\;\;\;\;\;
  \itexarray{
    A \otimes E
      &\overset{e_E \otimes id}{\longrightarrow}&
    E \otimes E
    \\
    {}^{\mathllap{\rho}}\downarrow && \downarrow^{\mathrlap{\mu_{E}}}
    \\
    E &\underset{id}{\longrightarrow}& E
  }
  \,,
\end{displaymath}
where the top vertical morphisms on the left the canonical coequalizers, which identifies the vertical composites on the right as shown. Hence this may be [[pasting|pasted]] to the square $(\star)$ above, to yield a [[commuting square]]

\begin{displaymath}
\itexarray{
    A \otimes A
     &\overset{id\otimes e_E}{\longrightarrow}&
    A \otimes E
      &\overset{e_E \otimes id}{\longrightarrow}&
    E \otimes E
    \\
    {}^{\mathllap{\mu_A}}\downarrow
      &&
    {}^{\mathllap{\rho}}\downarrow
      &&
    \downarrow^{\mathrlap{\mu_{E}}}
    \\
    A &\underset{e_E}{\longrightarrow}& E &\underset{id}{\longrightarrow}& E
  }
  \;\;\;\;\;\;\;\;\;\;
   =
  \;\;\;\;\;\;\;\;\;\;
  \itexarray{
    A \otimes A
     &\overset{e_E \otimes e_E}{\longrightarrow}&
    E \otimes E
    \\
    {}^{\mathllap{\mu_A}}\downarrow
      &&
    \downarrow^{\mathrlap{\mu_E}}
    \\
    A &\underset{e_E}{\longrightarrow}& E
  }
  \,.
\end{displaymath}
This shows that the unit $e_A$ is a homomorphism of monoids $(A,\mu_A, e_A) \longrightarrow (E, \mu_E, e_E\circ e_A)$.

Now for the converse direction, assume that $(A,\mu_A, e_A)$ and $(E, \mu_E, e'_E)$ are two commutative monoids in $(\mathcal{C}, \otimes, 1)$ with $e_E \;\colon\; A  \to E$ a monoid homomorphism. Then $E$ inherits a left $A$-[[module]] structure by

\begin{displaymath}
\rho
    \;\colon\;
  A \otimes E
    \overset{e_A \otimes id}{\longrightarrow}
  E \otimes E
    \overset{\mu_E}{\longrightarrow}
  E
  \,.
\end{displaymath}
By commutativity and associativity it follows that $\mu_E$ coequalizes the two induced morphisms $E \otimes A \otimes E \underoverset{\longrightarrow}{\longrightarrow}{\phantom{AA}} E \otimes E$. Hence the [[universal property]] of the [[coequalizer]] gives a factorization through some $\mu_{E/A}\colon E \otimes_A E \longrightarrow E$. This shows that $(E, \mu_{E/A}, e_E)$ is a commutative $A$-algebra.

Finally one checks that these two constructions are inverses to each other, up to isomorphism.

\end{proof}
When thinking of commutative monoids in some tensor category as [[formal duals]] to certain [[spaces]], as in def. \ref{Affines}, then we are interested in forming [[Cartesian products]] and more generally [[fiber products]] of these spaces. Dually this is given by fcoproducts of commutative monoids and commutative $R$-algebras. The following says that these may be computed just as the [[tensor product of modules]]:

\begin{prop}
\label{CoproductsInCMon}\hypertarget{CoproductsInCMon}{}
Let $\mathcal{C}$ be a [[symmetric monoidal category]] such that

\begin{enumerate}%
\item it has [[reflexive coequalizers]]


\item which are preserved by the [[tensor product]] functors $A \otimes (-) \colon \mathcal{C} \to \mathcal{C}$ for all objects $A$ in $\mathcal{C}$.



\end{enumerate}
Then for $f \colon A \to B$ and $g \colon A \to C$ two morphisms in the category $CMon(\mathcal{C})$ of \emph{[[commutative monoids]]} in $\mathcal{C}$ (def. \ref{MonoidsInMonoidalCategory}), the underlying object in $\mathcal{C}$ of the [[pushout]] in $CMon(\mathcal{C})$ coincides with the [[tensor product]] in the monoidal category $A$[[Mod]] (according to prop. \ref{MonoidalCategoryOfModules}):

\begin{displaymath}
U\left(B \sqcup_A C\right) \simeq  B \otimes_A C
  \,.
\end{displaymath}
Here $B$ and $C$ are regarded as equipped with the canonical $A$-module structure induced by the morphisms $f$ and $g$, respectively.

\end{prop}
This appears for instance as ([[Sketches of an Elephant|Johnstone, page 478, cor. 1.1.9]]).

\begin{remark}
\label{AssumptionsOnCoproductInCMonGenericallySatisfied}\hypertarget{AssumptionsOnCoproductInCMonGenericallySatisfied}{}
In every [[tensor category]] (def. \ref{TensorCategory}) the conditions in prop. \ref{CoproductsInCMon} are satisfied.

\end{remark}
\begin{proof}
By definition, every [[tensor category]] is an [[abelian category]] (def. \ref{AdditiveAndAbelianCategories}). The [[coequalizer]] of two [[parallel morphisms]] $f,g$ in an abelian category is isomorphic to the [[cokernel]] of the difference $f-g$ (formed in the [[abelian group]] struture on the [[hom-space]]). Hence all coequalizers exist, in particlar the [[split coequalizers]] required in prop. \ref{CoproductsInCMon}.

Moreover, by definition every [[tensor category]] is a [[rigid monoidal category]]. This implies that it is also a [[closed monoidal categories]], by prop. \ref{CompactClosedMonoidalCategory}, and this means that the functors $A \otimes (-)$ are [[left adjoint]] functors, and such preserve all colimits.

\end{proof}
\begin{prop}
\label{ProductsInAff}\hypertarget{ProductsInAff}{}
Let $\mathcal{A}$ be a [[tensor category]], and let $R \in CMon(\mathcal{A})$ be a [[commutative monoid]] in $\mathcal{A}$.

Then for $A_1, A_2$ two $R$-algebas according to def. \ref{AAlgebra}, regarded as affine schemes $Spec(A_1), Spec(A_2) \in Aff(R Mod(\mathcal{C}))$ according to prop. \ref{MonoidalCategoryOfModules} and def. \ref{Affines} the [[Cartesian product]] of $Spec(A_1)$ with $Spec(A_2)$ exists in $Aff(R Mod(\mathcal{C}))$ and is the [[formal dual]] of the tensor product algebra $A_1 \otimes_R A_2$ according to example \ref{TensorProductOfTwoCommutativeMonoids}:

\begin{displaymath}
Spec(A_1) \times Spec(A_2) \simeq Spec(A_1 \otimes_R A_2)
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By prop. \ref{AlgebrasOverAAreMonoidsUnderA} the [[formal dual]] of the statement is given by prop. \ref{CoproductsInCMon}, which does apply, according to remark \ref{AssumptionsOnCoproductInCMonGenericallySatisfied}.

\end{proof}
\begin{defn}
\label{ExtensionOfScalars}\hypertarget{ExtensionOfScalars}{}
Let $\mathcal{C}$ be a [[symmetric monoidal category]], let $A_1, A_2 \in CMon(\mathcal{C})$ be two [[commutative monoids]] in $\mathcal{C}$ (def. \ref{MonoidsInMonoidalCategory}) and

\begin{displaymath}
\phi \;\colon\; A_1 \longrightarrow A_2
\end{displaymath}
a [[homomorphism]] [[commutative monoids]] (def. \ref{MonoidsInMonoidalCategory}).

Then there is a pair of [[adjoint functors]] between the [[categories of modules]] (def. \ref{ModulesInMonoidalCategory})

\begin{displaymath}
A_1 Mod(\mathcal{C})
    \underoverset
      {\underset{\phi^\ast}{\longleftarrow}}
      {\overset{\phi_\ast}{\longrightarrow}}
      {}
  A_2 Mod(\mathcal{C})
\end{displaymath}
where

\begin{enumerate}%
\item the [[right adjoint]], called \textbf{[[restriction of scalars]]}, sends an $A_2$-[[module]] $(N, \rho)$ to the $A_1$-module $(N,\rho')$ whose [[action]] is given by precomposition with $\phi$:

\begin{displaymath}
A_1 \otimes N
   \stackrel{\phi \otimes id}{\longrightarrow}
  A_2 \otimes N
   \stackrel{\rho}{\longrightarrow}
  N
  \,.
\end{displaymath}

\item the [[left adjoint]], called \textbf{[[extension of scalars]]} sends an $A_1$-module $(N,\rho)$ to the [[tensor product]]

\begin{displaymath}
\phi_\ast(N) \coloneqq A_2 \otimes_{A_1} N
\end{displaymath}
(where we are regarding $A_2$ as a commutative monoid in $A_1$-modules via prop. \ref{AlgebrasOverAAreMonoidsUnderA}) and equipped with the evident [[action]] induced by the multiplication in $A_2$:



\end{enumerate}
\begin{displaymath}
A_2 \otimes \phi^\ast(N)
     =
    A_2 \otimes A_2 \otimes_{A_1} N
      \stackrel{\mu_{A_2} \otimes_{A_1} N }{\longrightarrow}
    A_2 \otimes_{A_1} N
     =
    \phi^\ast(N)
  \,.
\end{displaymath}
\end{defn}
\begin{proof}
By prop. \ref{AlgebrasOverAAreMonoidsUnderA} the [[adjunction]] in question has the form

\begin{displaymath}
A_1 Mod(\mathcal{C})
   \underoverset
     {\underset{U}{\longleftarrow}}
     {\overset{F}{\longrightarrow}}
     {}
  A_2 Mod( (A_1 Mod, \otimes_{A_1}, A_1) )
\end{displaymath}
and hence the statement follows with prop. \ref{MonoidModuleOverItself}.

\end{proof}
\begin{remark}
\label{}\hypertarget{}{}
In the dual interpretation of $R$-[[modules]] as generalized [[vector bundles]] (namely: [[quasicoherent sheaves]]) over $Spec(R)$ (def. \ref{Affines}) then $\phi \colon A_1 \to A_2$ becomes a map of spaces

\begin{displaymath}
Spec(\phi)
   \colon
  Spec(A_2)
    \longrightarrow
  Spec(A_1)
\end{displaymath}
and then [[extension of scalars]] according to prop. \ref{ExtensionOfScalars} corresponds to the [[pullback]] of vector bundles from $Spec(A_1)$ to $Spec(A_2)$.

\end{remark}
\hypertarget{GroupsAsHopfAlgebras}{}\subsection*{{Super-Groups as super-commutative Hopf algebras}}\label{GroupsAsHopfAlgebras}

Above we have considered affine spaces $Spec(A)$ (def. \ref{Affines}) in [[symmetric monoidal categories]] $\mathcal{C}$. Now we discuss what it means to equip these with the stucture of [[group objects]], hence to form affine groups in $\mathcal{C}$.

A (possibly) familiar example arises in [[differential geometry]], where one considers groups whose underlying set is promoted to a [[smooth manifold]] and all whose operations (product, inverses) are [[smooth functions]]. These are of course the \emph{[[Lie groups]]}.

A \textbf{[[linear representation]]} of a [[Lie group]] $G$ on a [[vector space]] $V$ is a [[smooth function]]

\begin{displaymath}
\rho \;\colon\; G \times V \longrightarrow V
\end{displaymath}
such that

\begin{enumerate}%
\item ([[linear map|linearity]]) for all elements $g \in G$ the function

\begin{displaymath}
\rho(g) \colon V \longrightarrow V
\end{displaymath}
is a [[linear function]]


\item ([[unitality]]) for $e \in G$ the [[neutral element]] then $\rho(e)$ is the [[identity]] function;


\item ([[action]] property) for $g_1, g_2 \in G$ any two elements, then acting with them consecutively is the same as acting with their product:

\begin{displaymath}
\rho(g_2) \circ  \rho(g_1) = \rho(g_2 g_1)
   \,.
\end{displaymath}


\end{enumerate}
But here we need to consider groups with more general geometric structure. The key to the generalization is to regard [[spaces]] dually via their [[algebras of functions]].

In the above example, write $C^\infty(X)$ for the [[smooth algebra]] of [[smooth functions]] on a [[smooth manifold]] $X$. The assignment

\begin{displaymath}
C^\infty(-) \;\colon\; SmthMfd \hookrightarrow SmthAlg_{\mathbb{R}}^{op}
\end{displaymath}
is the [[embedding of smooth manifolds into formal duals of R-algebras]] from prop. \ref{EmbeddingOfSmoothManifoldsIntoRAlgebras}.

Moreover, the functor $C^\infty(-)$ sends [[Cartesian products]] of smooth manifolds to ``completed tensor products'' $\otimes^c$ of function algebras (namely to the [[coproduct]] of [[smooth algebras]], see there)

\begin{displaymath}
C^\infty(X \times Y) \simeq C^\infty(X) \otimes^c C^\infty(Y)
  \,.
\end{displaymath}
Together this means that if $X = G$ is equipped with the structure of a [[group object]], then the product operation in the group induces a ``[[coproduct]]'' operation on its smooth algebra of smooth functions:

\begin{displaymath}
\itexarray{
    product &\colon& G \times G &\longrightarrow& G
    \\
    && C^\infty(G) \otimes^c C^\infty(G) &\longleftarrow& C^\infty(G) &\colon& product^\ast = coproduct
  }
  \,.
\end{displaymath}
Now the [[associativity]] of the group product translates into a corresponding dual property of its dual, called ``[[co-associativity]]'', and so forth. The resulting algebraic structure is called a \textbf{[[Hopf algebra]]}.

While the explicit definition of a \emph{[[Hopf algebra]]} may look involved at first sight, Hopf algebras are simply [[formal duals]] of [[groups]]. Since this perspective is straightforward, we may just as well consider it in the generality of [[groupoids]].

A simple illustrative archetype of the following construction of commutative Hopf algebroids from homotopy commutative ring spectra is the following situation:

For $X$ a [[finite set]] consider

\begin{displaymath}
\itexarray{
    X \times X \times X
    \\
    \downarrow^{\mathrlap{\circ = (pr_1, pr_3)}}
    \\
    X \times X
    \\
    {}^{\mathllap{s = pr_1}}\downarrow
     \uparrow
    \downarrow^{\mathrlap{t = pr_2}}
    \\
    X
  }
\end{displaymath}
as the (``[[codiscrete groupoid|codiscrete]]'') [[groupoid]] with $X$ as [[objects]] and precisely one morphism from every object to every other. Hence the [[composition]] operation $\circ$, and the [[source]] and [[target]] maps are simply projections as shown. The identity morphism (going upwards in the above diagram) is the [[diagonal]].

Then consider the image of this structure under forming the [[free abelian groups]] $\mathbb{Z}[X]$, regarded as [[commutative rings]] under pointwise multiplication.

Since

\begin{displaymath}
\mathbb{Z}[X \times X]
    \simeq
  \mathbb{Z}[X] \otimes \mathbb{Z}[X]
\end{displaymath}
this yields a diagram of homomorphisms of commutative rings of the form

\begin{displaymath}
\itexarray{
    (\mathbb{Z}[X] \otimes \mathbb{Z}[X] )
      \otimes_{\mathbb{Z}[X]}
    (\mathbb{Z}[X] \otimes \mathbb{Z}[X])
    \\
    \uparrow^{\mathrlap{} }
    \\
    \mathbb{Z}[X] \otimes \mathbb{Z}[X]
    \\
    \uparrow
     \downarrow
    \uparrow
    \\
    \mathbb{Z}[X]
  }
\end{displaymath}
satisfying some obvious conditions. Observe that here

\begin{enumerate}%
\item the two morphisms $\mathbb{Z}[X] \rightrightarrows \mathbb{Z}[X] \otimes \mathbb{Z}[X]$ are $f \mapsto f \otimes e$ and $f \mapsto e \otimes f$, respectively, where $e$ denotes the unit element in $\mathbb{Z}[X]$;


\item the morphism $\mathbb{Z}[X] \otimes \mathbb{Z}[X] \to \mathbb{Z}[X]$ is the multiplication in the ring $\mathbb{Z}[X]$;


\item the morphism

\begin{displaymath}
\mathbb{Z}[X] \otimes \mathbb{Z}[X]
    \longrightarrow
  \mathbb{Z}[X] \otimes \mathbb{Z}[C] \otimes \mathbb{Z}[C]
    \overset{\simeq}{\longrightarrow}
  (\mathbb{Z}[X] \otimes \mathbb{Z}[X] ) \otimes_{\mathbb{Z}[X]} (\mathbb{Z}[X] \otimes \mathbb{Z}[X])
\end{displaymath}
is given by $f \otimes g \mapsto f \otimes e \otimes g$.



\end{enumerate}
We now say this again, in generality:

\begin{defn}
\label{CommutativeHopfAlgebroid}\hypertarget{CommutativeHopfAlgebroid}{}
Let $\mathcal{A}$ be a [[tensor category]] (def. \ref{TensorCategory}). A \textbf{[[commutative Hopf algebroid]]} in $\mathcal{A}$ is an [[internal groupoid]] in the [[opposite category]] $CMon(\mathcal{A})^{op}$ of [[commutative monoids]] in $\mathcal{A}$, regarded with its [[cartesian monoidal category]] structure according to prop. \ref{ProductsInAff}.

\end{defn}
(e.g. \href{commutative+Hopf+algebroid#Ravenel86}{Ravenel 86, def. A1.1.1})

We unwind def. \ref{CommutativeHopfAlgebroid}. For $R \in CMon(\mathcal{A})$, write $Spec(R)$ for same same object, but regarded as an object in $CMon(\mathcal{A})^{op}$.

\begin{prop}
\label{CommutativeHopfAlgebroidSpelledOut}\hypertarget{CommutativeHopfAlgebroidSpelledOut}{}
An [[internal category]] in $CMon(\mathcal{A})^{op}$ is a [[diagram]] in $CMon(\mathcal{A})^{op}$ of the form

\begin{displaymath}
\itexarray{
    Spec(\Gamma) \underset{Spec(A)}{\times} Spec(\Gamma)
    \\
    \downarrow^{\mathrlap{\circ}}
    \\
    Spec(\Gamma)
    \\
    {}^{\mathllap{s}}\downarrow \; \uparrow^{\mathrlap{i}} \downarrow^{\mathrlap{t}}
    \\
    Spec(A)
  }
  \,,
\end{displaymath}
(where the [[fiber product]] at the top is over $s$ on the left and $t$ on the right) such that the pairing $\circ$ defines an [[associativity law|associative]] [[composition]] over $Spec(A)$, [[unitality|unital]] with respect to $i$. This is an [[internal groupoid]] if it is furthemore equipped with a morphism

\begin{displaymath}
inv \;\colon\; Spec(\Gamma) \longrightarrow Spec(\Gamma)
\end{displaymath}
acting as assigning [[inverses]] with respect to $\circ$.

The key fact to use now is prop. \ref{ProductsInAff}: the [[tensor product]] of commutative monoids exhibits the [[cartesian monoidal category]] structure on $CMon(\mathcal{A})^{op}$, :

\begin{displaymath}
Spec(R_1) \underset{Spec(R_3)}{\times} Spec(R_2)
  \simeq
  Spec(R_1 \otimes_{R_3} R_2)
  \,.
\end{displaymath}
This means that def. \ref{CommutativeHopfAlgebroid} is equivalently a diagram in $CMon(\mathcal{A})$ of the form

\begin{displaymath}
\itexarray{
    \Gamma \underset{A}{\otimes} \Gamma
    \\
    \uparrow^{\mathrlap{\Psi}}
    \\
    \Gamma
    \\
    {}^{\mathllap{\eta_L}}\uparrow
    \downarrow^{\mathrlap{\epsilon}} \;
    \uparrow^{\mathrlap{\eta_R}}
    \\
    A
  }
\end{displaymath}
as well as

\begin{displaymath}
c \; \colon \; \Gamma \longrightarrow \Gamma
\end{displaymath}
and satisfying [[formal duality|formally dual]] conditions, spelled out as def. \ref{CommutativeHopfAlgebroidDefinitionInExplicitComponents} below. Here

\begin{itemize}%
\item $\eta_L, \etaR$ are called the left and right \emph{[[unit]] maps};


\item $\epsilon$ is called the \emph{co-unit};


\item $\Psi$ is called the \emph{[[comultiplication]]};


\item $c$ is called the \emph{[[antipode]]} or \emph{conjugation}



\end{itemize}
\end{prop}
\begin{remark}
\label{HopfAlgebrasAsHopfAlgebroids}\hypertarget{HopfAlgebrasAsHopfAlgebroids}{}
Generally, in a commutative Hopf algebroid, def. \ref{CommutativeHopfAlgebroid}, the two morphisms $\eta_L, \eta_R\colon A \to \Gamma$ from remark \ref{CommutativeHopfAlgebroidSpelledOut} need not coincide, they make $\Gamma$ genuinely into a [[bimodule]] over $A$, and it is the [[tensor product]] of [[bimodules]] that appears in remark \ref{CommutativeHopfAlgebroidSpelledOut}. But it may happen that they coincide:

An [[internal groupoid]] $\mathcal{G}_1 \stackrel{\overset{s}{\longrightarrow}}{\underset{t}{\longrightarrow}} \mathcal{G}_0$ for which the [[domain]] and [[codomain]] morphisms coincide, $s = t$, is euqivalently a [[group object]] in the [[slice category]] over $\mathcal{G}_0$.

Dually, a [[commutative Hopf algebroid]] $\Gamma \stackrel{\overset{\eta_L}{\longleftarrow}}{\underset{\eta_R}{\longleftarrow}} A$ for which $\eta_L$ and $\eta_R$ happen to coincide is equivalently a \textbf{commutative [[Hopf algebra]]} $\Gamma$ over $A$.

\end{remark}
Writing out the formally dual axioms of an [[internal groupoid]] as in remark \ref{CommutativeHopfAlgebroidSpelledOut} yields the following equivalent but maybe more explicit definition of commutative Hopf algebroids, def. \ref{CommutativeHopfAlgebroid}

\begin{defn}
\label{CommutativeHopfAlgebroidDefinitionInExplicitComponents}\hypertarget{CommutativeHopfAlgebroidDefinitionInExplicitComponents}{}
A \textbf{[[commutative Hopf algebroid]]} is

\begin{enumerate}%
\item two [[commutative rings]], $A$ and $\Gamma$;


\item ring [[homomorphisms]]

\begin{enumerate}%
\item (left/right unit)

$\eta_L,\eta_R \colon A \longrightarrow \Gamma$;


\item (comultiplication)

$\Psi \colon \Gamma \longrightarrow \Gamma \underset{A}{\otimes} \Gamma$;


\item (counit)

$\epsilon \colon \Gamma \longrightarrow A$;


\item (conjugation)

$c \colon \Gamma \longrightarrow \Gamma$



\end{enumerate}


\end{enumerate}
such that

\begin{enumerate}%
\item (co-[[unitality]])

\begin{enumerate}%
\item (identity morphisms respect source and target)

$\epsilon \circ \eta_L = \epsilon \circ \eta_R = id_A$;


\item (identity morphisms are units for composition)

$(id_\Gamma \otimes_A \epsilon) \circ \Psi  = (\epsilon \otimes_A id_\Gamma) \circ \Psi = id_\Gamma$;


\item (composition respects source and target)

\begin{enumerate}%
\item $\Psi \circ \eta_R = (id \otimes_A \eta_R) \circ \eta_R$;


\item $\Psi \circ \eta_L = (\eta_L \otimes_A id) \circ \eta_L$



\end{enumerate}


\end{enumerate}

\item (co-[[associativity]]) $(id_\Gamma \otimes_A \Psi) \circ \Psi = (\Psi \otimes_A id_\Gamma) \circ \Psi$;


\item ([[inverses]])

\begin{enumerate}%
\item (inverting twice is the identity)

$c \circ c = id_\Gamma$;


\item (inversion swaps source and target)

$c \circ \eta_L = \eta_R$; $c \circ \eta_R = \eta_L$;


\item (inverse morphisms are indeed left and right inverses for composition)

the morphisms $\alpha$ and $\beta$ induced via the [[coequalizer]] property of the [[tensor product]] from $(-) \cdot c(-)$ and $c(-)\cdot (-)$, respectively

\begin{displaymath}
\itexarray{
 \Gamma \otimes A \otimes \Gamma
 &
 \underoverset
 {\longrightarrow}
 {\longrightarrow}
 {}
 &
 \Gamma \otimes \Gamma
 &
 \overset{coeq}{\longrightarrow}
 &
 \Gamma \otimes_A \Gamma
 \\
 &&
 {}_{\mathllap{(-)\cdot c(-)}}\downarrow
 &
 \swarrow_{\mathrlap{\alpha}}
 \\
 && \Gamma
  }
\end{displaymath}
and

\begin{displaymath}
\itexarray{
 \Gamma \otimes A \otimes \Gamma
 &
 \underoverset
 {\longrightarrow}
 {\longrightarrow}
 {}
 &
 \Gamma \otimes \Gamma
 &
 \overset{coeq}{\longrightarrow}
 &
 \Gamma \otimes_A \Gamma
 \\
 &&
 {}_{\mathllap{c(-)\cdot (-)}}\downarrow
 &
 \swarrow_{\mathrlap{\beta}}
 \\
 && \Gamma
  }
\end{displaymath}
satisfy

$\alpha \circ \Psi = \eta_L \circ \epsilon$

and

$\beta \circ \Psi = \eta_R \circ \epsilon$.



\end{enumerate}


\end{enumerate}
\end{defn}
e.g. (\href{commutative+Hopf+algebroid#Ravenel86}{Ravenel 86, def. A1.1.1})

By internalizing all of the above from $Vect$ to $sVect$, we obtain the concept of [[supergroups]]:

\begin{defn}
\label{Supergroup}\hypertarget{Supergroup}{}
An affine algebraic \emph{[[supergroup]]} $G$ is equivalently

\begin{itemize}%
\item a pointed, one-object [[internal groupoid]] in the [[opposite category]] $Aff(sVect) = CMon(sVect_k)^{op}$ (def. \ref{Affines}) of [[supercommutative superalgebras]] from def. \ref{SupercommutativeSuperalgebra}


\item the [[formal dual]] of a \textbf{[[super-commutative Hopf algebra]]}, namely a [[commutative Hopf algebra]] (prop. \ref{CommutativeHopfAlgebroidSpelledOut}, remark \ref{HopfAlgebrasAsHopfAlgebroids}).



\end{itemize}
\end{defn}
We will often just say ``supergroup'' for short in the following. If $H$ is the corresponding [[supercommutative Hopf algebra]] then we also write $Spec(H)$ for this supergroup.

The following asks that the parity involution (def. \ref{ParityAutomorphism}) on a supergroup is an [[inner automorphism]]:

\begin{defn}
\label{InnerParity}\hypertarget{InnerParity}{}
An \textbf{inner parity} of a [[supergroup]] $G$, def. \ref{Supergroup} is an element $\epsilon \in G_{even}$ such that

\begin{enumerate}%
\item it is [[involution|involutive]] i.e. $\epsilon^2 = 1$


\item its [[adjoint action]] on $G$ is the parity involution of def. \ref{ParityAutomorphism}.



\end{enumerate}
Dually this mean that an inner pariy is an algebra homomorphism $\epsilon^\ast \colon\mathcal{O}(G) \to k$ such that

\begin{enumerate}%
\item the composite

\begin{displaymath}
\mathcal{O}(G) \stackrel{\Psi}{\longrightarrow} \mathcal{O}(G) \otimes_k \mathcal{O}(G) \stackrel{\epsilon^\ast \otimes_k \epsilon^\ast}{\longrightarrow} k \otimes_k k \simeq k
\end{displaymath}
is the counit of the Hopf algebra (hence the formal dual of the neutral element)


\item the parity involution $\mathcal{O}(G) \stackrel{\simeq}{\longrightarrow} \mathcal{O}(G)$ conincides with the composite

\begin{displaymath}
\mathcal{O}(G)
    \stackrel{(id \otimes_k \Psi) \circ \Psi}{\longrightarrow}
 \mathcal{O}(G) \otimes_k \mathcal{O}(G) \otimes_k \mathcal{O}(G)
   \stackrel{\epsilon^\ast \otimes_k id \otimes_k (c \circ \epsilon^\ast)}{\longrightarrow}
    k \otimes_k \mathcal{O}(G) \otimes_k k
\end{displaymath}


\end{enumerate}
\end{defn}
(\hyperlink{Deligne02}{Deligne 02, 0.3})

\begin{example}
\label{InnerParityInBosonicSupergroup}\hypertarget{InnerParityInBosonicSupergroup}{}
For $G$ an ordinary affine [[algebraic group]], regarded as a supergroup with trivial odd-graded part, then every element $\epsilon \in Z(G)$ in the [[center]] defines an inner parity, def. \ref{InnerParity}.

\end{example}
(\hyperlink{Deligne02}{Deligne 02, 0.4 i)})

\begin{remark}
\label{}\hypertarget{}{}
In view of remak \ref{InnerParityInBosonicSupergroup}, specifying an involutive central element in an ordinary group is a faint shadow of genuine supergroup structure. In fact such pairs are being referred to as ``supergroups'' in (\hyperlink{Mueger06}{M\"u{}ger 06}).

\end{remark}
Demanding the existence of inner parity is not actually a restriction of the theory:

\begin{example}
\label{}\hypertarget{}{}
For $H$ any supergroup, def. \ref{Supergroup}, and $\mathbb{Z}_2 = \{id,par\}$ acting on it by parity involution, def. \ref{ParityAutomorphism} then the [[semidirect product group]] $\mathbb{Z}_2 \ltimes G$ has inner parity, def. \ref{InnerParity}, given by $\epsilon \coloneqq par \in \mathbb{Z}_2 \hookrightarrow \mathbb{Z}_2 \ltimes G$.

\end{example}
(\hyperlink{Deligne02}{Deligne 02, 0.4 ii)})

\hypertarget{LinearRepresentationsAsComodules}{}\subsection*{{Linear super-representations as Comodules}}\label{LinearRepresentationsAsComodules}

\begin{defn}
\label{CommutativeHopfAlgebroidComodule}\hypertarget{CommutativeHopfAlgebroidComodule}{}
Given a [[commutative Hopf algebroid]] $\Gamma$ over $A$ (def. \ref{CommutativeHopfAlgebroidDefinitionInExplicitComponents}) in some [[tensor category]] (def. \ref{TensorCategory}), then a \textbf{left [[comodule]]} over $\Gamma$ is

\begin{enumerate}%
\item an $A$-[[module object]] $N$ in $\mathcal{A}$ (def. \ref{ModulesInMonoidalCategory}) i;


\item an $A$-[[module]] [[homomorphism]] (co-action)

$\Psi_N \;\colon\; N \longrightarrow \Gamma \otimes_A N$;



\end{enumerate}
such that

\begin{enumerate}%
\item (co-[[unitality]])

$(\epsilon \otimes_A id_N) \circ \Psi_N = id_N$;


\item (co-action property)

$(\Psi \otimes_A id_N) \circ \Psi_N = (id_\Gamma \otimes_A \Psi_N)\circ \Psi_N$.



\end{enumerate}
A [[homomorphism]] between comodules $N_1 \to N_2$ is a homomorphism of underlying $A$-modules making [[commuting diagrams]] with the co-action morphism. Write

\begin{displaymath}
\Gamma CoMod(\mathcal{A})
\end{displaymath}
for the resulting [[category]] of (left) comodules over $\Gamma$. Analogously there are right comodules.

\end{defn}
\begin{example}
\label{ComoduleStructureOnGroundRing}\hypertarget{ComoduleStructureOnGroundRing}{}
For $(\Gamma,A)$ a [[commutative Hopf algebroid]], then $A$ becomes a left $\Gamma$-comodule (def. \ref{CommutativeHopfAlgebroidComodule}) with coaction given by the right unit

\begin{displaymath}
A \overset{\eta_R}{\longrightarrow} \Gamma \simeq \Gamma \otimes_A A
  \,.
\end{displaymath}
\end{example}
\begin{proof}
The required co-unitality property is the dual condition in def. \ref{CommutativeHopfAlgebroidDefinitionInExplicitComponents}

\begin{displaymath}
\epsilon \circ \eta_R  = id_A
\end{displaymath}
of the fact in def. \ref{CommutativeHopfAlgebroid} that identity morphisms respect sources:

\begin{displaymath}
id
    \;\colon\;
  A
    \overset{\eta_R}{\longrightarrow}
  \Gamma
    \simeq
  \Gamma \otimes_A A
    \overset{\epsilon \otimes_A id}{\longrightarrow}
  A \otimes_A A
    \simeq
  A
\end{displaymath}
The required co-action property is the dual condition

\begin{displaymath}
\Psi \circ \eta_R = (id \otimes_A \eta_R) \circ \eta_R
\end{displaymath}
of the fact in def. \ref{CommutativeHopfAlgebroid} that composition of morphisms in a groupoid respects sources

\begin{displaymath}
\itexarray{
    A
      &\overset{\eta_R}{\longrightarrow}&
    \Gamma
    \\
    {}^{\mathllap{\eta_R}}\downarrow
      &&
    \downarrow^{\mathrlap{\Psi}}
    \\
    \Gamma \simeq \Gamma \otimes_A A
      &\underset{id \otimes_A \eta_R}{\longrightarrow}&
    \Gamma \otimes_A \Gamma
  }
  \,.
\end{displaymath}
\end{proof}
\begin{defn}
\label{TensorProductOfComodulesOverAHopfAlgebra}\hypertarget{TensorProductOfComodulesOverAHopfAlgebra}{}
Given two comodules $N_1, N_2$ over a [[commutative Hopf algebra]] $\Gamma$ over $k$, then their \textbf{[[tensor product]]} is the the [[tensor product of modules]] $N_1 \otimes_k N_2$ equipped with the following co-action

\begin{displaymath}
N_1 \otimes_k N_2
    \overset{\Psi1 \otimes_k \Psi_2}{\longightarrow}
  \Gamma \otimes_k N_1 \otimes_k \Gamma \otimes N_2
    \overset{}{\longrightarrow}
  \Gamma \otimes_k \Gamma \otimes_k N_1 \otimes_k N_2
      \overset{((-)\cdot (-)) \otimes_k id_{N_1} \otimes_k id_{N_2} }{\longrightarrow}
  \Gamma \otimes_k N_1 \otimes_k N_2
  \,.
\end{displaymath}
\end{defn}
This is the [[formal dual]] of the [[tensor product of representations]], the action on which is induced by

\begin{displaymath}
G \times V_1 \times V_2
     \overset{\Delta_G \times id}{\longrightarrow}
  G \times G \times V_1 \times V_2
     \simeq
   G \times V_1 \times G \times V_1
     \overset{\rho_1 \times \rho_2}{\longrightarrow}
   V_1 \times V_2
  \,.
\end{displaymath}
Under the tensor product of co-modules (def. \ref{TensorProductOfComodulesOverAHopfAlgebra}), these form a [[symmetric monoidal category]] (def. \ref{SymmetricMonoidalCategory}).

\begin{defn}
\label{Superrepresentation}\hypertarget{Superrepresentation}{}
A \emph{[[linear representation]]} of a [[supergroup]] $G$, def. \ref{Supergroup}, with inner parity $\epsilon$, def. \ref{InnerParity}, is

\begin{itemize}%
\item a [[comodule]] $V$ (def. \ref{CommutativeHopfAlgebroidComodule}) in [[sVect]] (def. \ref{CategoryOfSuperVectorSpaces}) for the [[formal dual|formally dual]] [[commutative Hopf algebra]] $\mathcal{O}(G)$.

\end{itemize}
such that

\begin{itemize}%
\item the inner parity element $\epsilon$ acts as the identity on $V_{even}$ and by multiplication with $-1$ on $V_{odd}$.

\end{itemize}
\end{defn}
\begin{example}
\label{}\hypertarget{}{}
For $G$ an ordinary (affine algebraic) group regarded as a supergroup with trivial odd-graded part, and for $\epsilon = e$ its [[neutral element]] taken as the inner parity, then $Rep(G,\epsilon)$ in the sense of def. \ref{Superrepresentation} is just the ordinary [[category of representations]] of $G$.

\end{example}
(\hyperlink{Deligne02}{Deligne 02, 0.4 (i)})

\begin{prop}
\label{RegularTensorCategoriesOfSuperrepresentations}\hypertarget{RegularTensorCategoriesOfSuperrepresentations}{}
The [[category of representations]] $Rep(G,\epsilon)$ of def. \ref{Superrepresentation} of an affine algebraic [[supergroup]] $G$, def. \ref{Supergroup}, with inner parity $\epsilon$ (def. \ref{InnerParity}) on finite-dimensional super vector spaces (example \ref{FiniteDimensionalSuperVectorSpaces}) and equippd with the tensor product of comodules from def. \ref{TensorProductOfComodulesOverAHopfAlgebra} is a $k$-[[tensor category]] (def. \ref{TensorCategory}) of subexponential growth (def. \ref{SubexponentialGrowth}).

\end{prop}
(\hyperlink{Deligne02}{Deligne 02, 1.21})

Moreover, any finite dimensional [[faithful representation]] (which always exists, \href{faithful+representation#AlgebraicGroupHasFinDimFaithfulRepresentations}{prop.}) serves as an $\otimes$-generator (def. \ref{FiniteTensorGeneration}).

See (\href{faithful+representation#AnyFinDimRepOfAffineAlgebraicGroupOverFieldIsSubquotientsOfFaithfulRep}{this prop.}).

\hypertarget{FiberFunctors}{}\subsection*{{Super Fiber functors and their automorphism supergroups}}\label{FiberFunctors}

The first step in exhibiting a given [[tensor category]] $\mathcal{A}$ as being a [[category of representations]] is to exhibit its objects as having an [[forgetful functor|underlying]] representation space of sorts, and then an [[action]] represented on that space. Hence a necessary condition on $\mathcal{A}$ is that there exists a [[forgetful functor]]

\begin{displaymath}
\omega \;\colon\; \mathcal{A} \longrightarrow \mathcal{V}
\end{displaymath}
to some other [[tensor category]], such that $\omega$ satisfies a list of properties, in particular it should be a [[symmetric monoidal functor|symmetric]] [[strong monoidal functor]].

Such functors are called \emph{[[fiber functors]]}. The idea is that we think of $\mathcal{A}$ as a [[bundle]] over $\mathcal{V}$, and over each $V \in \mathcal{V}$ we find the [[fiber]] $\omega^{-1}(V)$ of that ``bundle'', consisting of all those objects in $\mathcal{A}$ whose underlying object in the given $V$.

The main point of [[Tannaka duality]] of tensor categories is the observation that if $\mathcal{A}$ is a [[category of representations]] of some [[group]] $G$, then $G$ also [[action|acts]] by [[automorphisms]] on that [[fiber functor]] (i.e. via [[natural isomorphisms]] of functors). In good cases then this may be turned around, and the full [[automorphism group]] of a fiber functor is identified with the group $G$ for which the objects in its fibers are [[representations]], this is the process of [[Tannaka reconstruction]].

There are slight variants on what one requires of a fiber functor. For the present purpose we fix the following definition

\begin{defn}
\label{FiberFunctor}\hypertarget{FiberFunctor}{}
Let $\mathcal{A}$ and $\mathcal{T}$ be two $k$-[[tensor categories]] (def. \ref{TensorCategory}) such that

\begin{enumerate}%
\item all [[object of finite length|objects have finite length]];


\item all [[hom spaces]] are of [[finite number|finite]] [[dimension]] over $k$.



\end{enumerate}
Let $R \in CMon(Ind(\mathcal{T}))$ be a [[commutative monoid in a symmetric monoidal category|commutative monoid]] (def. \ref{MonoidsInMonoidalCategory}) in the category of [[ind-objects]] in $\mathcal{T}$ (prop. \ref{IndObjectsInATensorCategory}).

Then a \textbf{[[fiber functor]] on $\mathcal{A}$ over $R$} is a [[functor]]

\begin{displaymath}
\omega \;\colon\; \mathcal{A} \longrightarrow R Mod(Ind(\mathcal{T}))
\end{displaymath}
from $\mathcal{A}$ to the [[category of modules|category of]] [[module objects]] over $R$ (def. \ref{ModulesInMonoidalCategory}) in the [[category of ind-objects]] $Ind(\mathcal{T})$ (def. \ref{IndObjectsInATensorCategory}), which is

\begin{enumerate}%
\item a [[braided monoidal functor|braided]] [[strong monoidal functor]];


\item an [[exact functor]] in both variables.



\end{enumerate}
If here $\mathcal{T} =$ [[sVect]] (def. \ref{CategoryOfSuperVectorSpaces}), then this is called a \textbf{super fiber functor}.

\end{defn}
(\hyperlink{Deligne02}{Deligne 02, 3.1})

\begin{defn}
\label{TannakianCategory}\hypertarget{TannakianCategory}{}
A [[tensor category]] $\mathcal{A}$ (def. \ref{TensorCategory}) is called

\begin{enumerate}%
\item a \textbf{neutral [[Tannakian category]]} if it admits a fiber functor (def. \ref{FiberFunctor}) to $Vect_k$ (example \ref{VectAsAMonoidalCategory}) (\hyperlink{DeligneMilne12}{Deligne-Milne 12, def. 2.19})


\item a \textbf{neutral super [[Tannakian category]]} if it admits a fiber functor (def. \ref{FiberFunctor}) to $sVect_k$ (def. \ref{CategoryOfSuperVectorSpaces})


\item (not needed here) a general \textbf{[[Tannakian category]]} if the [[stack]] on $Aff_k$ which sends $R \in CRing$ to the groupoid of fiber functors to $R Proj \hookrightarrow R Mod$ ([[projective modules]] over $R$) is an affine [[gerbe]] such that its category of representations is equivalent to $\mathcal{A}$ (\hyperlink{DeligneMilne12}{Deligne-Milne 12, def. 3.7}).



\end{enumerate}
\end{defn}
Given a super fiber functor $\omega \colon \mathcal{A} \to sVect_k$ (def. \ref{FiberFunctor}) there is an evident notion of its [[automorphism group]]: a [[homomorphism]] between [[functors]] is a [[natural transformation]], and that between [[monoidal functors]] is a [[monoidal natural transformation]], according to def. \ref{LaxMonoidalFunctor}, and this is an [[automorphism]] of functors if it is a [[natural automorphism]]. We write

\begin{displaymath}
Aut(\omega) \in Grp
\end{displaymath}
for this automorphism group.

So far this is a group without geometric structure (a [[discrete group]]). But it is naturally equipped with [[supergeometry]] (super-[[algebraic geometry]]) exhibited by a rule for what the ``geometrically parameterized families'' of its elements are. (For exposition of this perspective see at \emph{[[motivation for sheaves, cohomology and higher stacks]]}).

Concretely, this means that for each [[supercommutative superalgebra]] $A$ with corresponding [[affine super scheme]] $Spec(A)$ (def. \ref{Affines}, def. \ref{SupercommutativeSuperalgebra}) we are to say what the set

\begin{displaymath}
\underline{Aut}(\omega)(Spec(A))
   \in
  Set
\end{displaymath}
of $Spec(A)$-parameterized elements of $Aut(\omega)$ is. In fact, under parameter-wise multiplication in the group, any such set must inherit group structure, so that we should have not one discrete group, but a system of them, labeled by supercommutative superalgebras:

\begin{displaymath}
\underline{Aut}(\omega)(Spec(A))
   \in
  Grp
  \,.
\end{displaymath}
Moreover, if $A_1 \longrightarrow A_2$ is an algebra homomorphism, hence

\begin{displaymath}
Spec(A_2) \longrightarrow Spec(A_1)
\end{displaymath}
a map of affine super schemes according to def. \ref{SupercommutativeSuperalgebra}, then there should be a group homomorphism

\begin{displaymath}
\underline{Aut}(\omega)(Spec(A_2))
    \longleftarrow
  \underline{Aut}(\omega)(Spec(A_1))
\end{displaymath}
that expresses how a $Spec(A_1)$-parameterized family of elements of $Aut(\omega)$ becomes a $Spec(A_1)$-parameterized family, under this map.

For a minimum of consistency, this assignment must be such that the identity map on $Spec(A)$ induces the identity on $\underline{Aut}(\omega)(Spec(A))$, and that the composite of two maps of affine superschemes goes to the correspondng composite group homomorphisms.

In conclusion, this says that an algebraic supergeometric structure on $Aut(\omega)$ is the datum of a [[presheaf]] of groups, hence of a [[functor]]

\begin{displaymath}
\underline{Aut}(\omega)
   \;\colon\;
  Aff(sVect)^{op} \simeq CMon(sVect)
   \longrightarrow
  Grp
\end{displaymath}
such that the underlying points are those of $Aut(\omega)$:

\begin{displaymath}
\underline{Aut}(\omega)(Spec(k))
  \simeq
  Aut(\omega)
  \,.
\end{displaymath}
\begin{defn}
\label{RepresentableAutomorphismGroup}\hypertarget{RepresentableAutomorphismGroup}{}
We say that a functor

\begin{displaymath}
\underline{Aut}(\omega)
   \;\colon\;
  Aff(sVect)^{op}
    =
  CMon(sVect)
     \longrightarrow
  Grp
\end{displaymath}
is \textbf{[[representable functor|representable]]} if there exists a [[supercommutative Hopf algebra]] $H$, hence an affine [[algebraic group]] $Spec(H)$ (def. \ref{Supergroup}) and a [[natural isomorphism]] with the [[hom functor]] into $Spec(H)$:

\begin{displaymath}
\underline{Aut}(\omega)
  \simeq
  Hom_{CMon(sVect)}(H,-)
    =
  Hom_{Aff(sVect)}(-,Spec(H))
  \,.
\end{displaymath}
\end{defn}
\begin{defn}
\label{AutomorphismGroupOfFiberFunctor}\hypertarget{AutomorphismGroupOfFiberFunctor}{}
Let $\omega \colon \mathcal{A} \to \mathcal{B}$ be a [[fiber functor]] (def \ref{FiberFunctor}).

For $A \in CMon(\mathcal{B})$ a [[commutative monoid]] (def. \ref{MonoidsInMonoidalCategory}), write

\begin{displaymath}
\omega_A
   \;\colon\;
  \mathcal{A}
    \stackrel{\omega}{\longrightarrow}
  \mathcal{B}
   \stackrel{A \otimes(-)}{\longrightarrow}
  A Mod(\mathcal{B})
\end{displaymath}
for its image under [[extension of scalars]] along $1 \to A$ to $A$ (prop. \ref{ExtensionOfScalars}).

With this, the \textbf{automorphism group} of $\omega$

\begin{displaymath}
\underline{Aut}(\omega)
  \in
  PSh(Aff(\mathcal{B}))
\end{displaymath}
is defined to be the functor which on objects assigns the [[discrete group]] of [[natural automorphisms]] of the image $\omega_A$ of $\omega$ under [[extension of scalars]] as above

\begin{displaymath}
\underline{Aut}(\omega)(Spec(A))
   \coloneqq
  Aut(\omega_{A})
\end{displaymath}
and which to a homomorphism of algebras

\begin{displaymath}
\phi \;\colon\; A_1 \longrightarrow A_2
\end{displaymath}
assigns the action of the [[extension of scalars]]-functor along $\phi$:

\begin{displaymath}
\phi_\ast
    \;\colon\;
  Aut(\omega_{A_1})
    \longrightarrow
  Aut(\omega_{A_2})
  \,.
\end{displaymath}
This is clearly a presheaf, by [[functor|functoriality]] of [[extension of scalars]].

\end{defn}
Specializing def. \ref{AutomorphismGroupOfFiberFunctor} to $\mathcal{B} =$ [[sVect]] (def. \ref{CategoryOfSuperVectorSpaces}), where a commutative monoid is a [[supercommutative superalgebra]] (def. \ref{SupercommutativeSuperalgebra}) it reads as follows:

\begin{example}
\label{AutomorphismSuperGroupOfSuperFiberFunctor}\hypertarget{AutomorphismSuperGroupOfSuperFiberFunctor}{}
Let $\omega \colon \mathcal{A} \to sVect$ be a [[fiber functor|super fiber functor]] (def \ref{FiberFunctor}).

For $A \in CMon(sVect)$ a [[commutative monoid]] (def. \ref{MonoidsInMonoidalCategory}), write

\begin{displaymath}
\omega_A
   \;\colon\;
  \mathcal{A}
    \stackrel{\omega}{\longrightarrow}
  sVect
   \stackrel{A \otimes(-)}{\longrightarrow}
  A Mod(sVect)
\end{displaymath}
For $A \in CMon(sVect)$ a [[supercommutative algebra]], write

\begin{displaymath}
\omega_A
   \;\colon\;
  \mathcal{A}
    \stackrel{\omega}{\longrightarrow}
  sVect
   \stackrel{A \otimes(-)}{\longrightarrow}
  A Mod(sVect)
\end{displaymath}
for its image under [[extension of scalars]] to $A$ (prop. \ref{MonoidModuleOverItself}).

With this, the \textbf{automorphism super-group} of $\omega$

\begin{displaymath}
\underline{Aut}(\omega)
  \in
  PSh(Aff(sVect))
\end{displaymath}
is defined by

\begin{displaymath}
\underline{Aut}(\omega)(Spec(A))
   \coloneqq
  Aut(\omega_{A})
  \,.
\end{displaymath}
\end{example}
\begin{prop}
\label{AutomorphismSupergroupOfFiberFunctorIsRepresentable}\hypertarget{AutomorphismSupergroupOfFiberFunctorIsRepresentable}{}
For $k$ an [[algebraically closed field]] of [[characteristic zero]], and for $\mathcal{A}$ a $k$-[[tensor category]] equipped with a [[fiber functor|super fiber functor]] $\omega$, then its automorphism supergroup (def. \ref{AutomorphismSuperGroupOfSuperFiberFunctor}) is [[representable functor|representable]] (def. \ref{RepresentableAutomorphismGroup}): there exists a [[supercommutative Hopf algebra]] $H_\omega$ and a [[natural isomorphism]]

\begin{displaymath}
\underline{Aut}(\omega)
    \simeq
  Hom_{CMon(sVect)}(H_\omega,-)
   =
  Hom_{Aff(sVect)}(-, Spec(H_\omega))
  \,,
\end{displaymath}
which, with the [[Yoneda embedding]] understood, we write simply as

\begin{displaymath}
\underline{Aut}(\omega)
    \simeq
  Spec(H_\omega)
  \,.
\end{displaymath}
\end{prop}
(\hyperlink{Deligne90}{Deligne 90, prop. 8.11})

The following says that in fact all homomorphisms between fiber functors are necessarily [[isomorphisms]]:

\begin{lemma}
\label{MonoidalTransformationBetweenFiberFunctorIsIso}\hypertarget{MonoidalTransformationBetweenFiberFunctorIsIso}{}
Every [[monoidal natural transformation]] (def. \ref{LaxMonoidalFunctor}) between two [[fiber functors]] (def. \ref{FiberFunctor}) is an [[isomorphism]] (i.e. a [[natural isomorphism]]).

\end{lemma}
(\hyperlink{Deligne90}{Deligne 90, 8.11 (ii)}, \hyperlink{Deligne02}{Deligne 02, lemma 3.2})

\begin{defn}
\label{FundamentalSupergroup}\hypertarget{FundamentalSupergroup}{}
Let $\mathcal{A}$ be a [[tensor category]] and regard the [[identity]] functor on it as a fiber functor (def. \ref{FiberFunctor}). Then the automorphism group of $id_{\mathcal{A}}$ according to def. \ref{AutomorphismSuperGroupOfSuperFiberFunctor} is called the \textbf{fundamental group} of $\mathcal{A}$, denoted:

\begin{displaymath}
\pi(\mathcal{A})
   \coloneqq
  \underline{Aut}(id_{\mathcal{A}})
\end{displaymath}
\end{defn}
(\hyperlink{Deligne90}{Deligne 90, 8.12, 8.13})

\begin{example}
\label{FundamentalGroupOfCategoryOfSuperVectorSpaces}\hypertarget{FundamentalGroupOfCategoryOfSuperVectorSpaces}{}
The fundamental group (def. \ref{FundamentalSupergroup}) of the [[category of super vector spaces]] [[sVect]] (def. \ref{CategoryOfSuperVectorSpaces}) is $\mathbb{Z}/2$:

\begin{displaymath}
\pi(sVect)
    \simeq
  \mathbb{Z}/2
  \,.
\end{displaymath}
The non-trivial element in $\pi(sVect)$ acts on any super-vector space as the [[endomorphism]] which is the identity on even graded elements, and multiplication by $(-1)$ on odd graded elements.

\end{example}
(\hyperlink{Deligne90}{Deligne 90, 8.14 iv)})

\begin{prop}
\label{AutOfFibFuncIsImagUnderFibFuncOfFundamentalGroup}\hypertarget{AutOfFibFuncIsImagUnderFibFuncOfFundamentalGroup}{}
For $\mathcal{A}$ a $k$-[[tensor category]] equipped with a [[fiber functor|super fiber functor]] $\omega \colon \mathcal{A} \to sVect$ (def. \ref{FiberFunctor}), then the automorphism supergroup of $\omega$ is the image under the super fiber functor $\omega$ of the fundamental group of $\mathcal{A}$, according to def. \ref{FundamentalSupergroup}:

\begin{displaymath}
\underline{Aut}(\omega)
    \simeq
  \omega(\pi(\mathcal{A}))
  \,.
\end{displaymath}
Here on the right we are using that $\omega$ is a [[strong monoidal functor]] so that it preserves [[commutative monoids]] as well as [[comonoids]] by prop. \ref{MonoidsPreservedByLaxMonoidalFunctor}, hence preserves [[commutative Hopf algebras]].

\end{prop}
(\hyperlink{Deligne90}{Deligne 90 (8.13.1)})

\begin{prop}
\label{HomomorphismFromPiT2ToEtaPiT1}\hypertarget{HomomorphismFromPiT2ToEtaPiT1}{}
Let $\mathcal{A}_1, \mathcal{A}_2$ be two $k$-[[tensor categories]] and let

\begin{displaymath}
\eta \;\colon\; \mathcal{A}_1 \longrightarrow \mathcal{A}_2
\end{displaymath}
be a [[functor]] which is $k$-linear, [[strong monoidal functor|monoidal]] and [[exact functor]]. Then there is induced a canonical group homomorphism

\begin{displaymath}
\pi(\mathcal{A}_2)
   \longrightarrow
  \eta(\pi(\mathcal{A}_1))
\end{displaymath}
from the fundamental group of $\mathcal{A}_1$ (def. \ref{FundamentalSupergroup}) to the image under $\eta$ of the fundamental group of $\mathcal{A}_2$.

\end{prop}
(\hyperlink{Deligne90}{Deligne 90, 8. 15. 2})

\hypertarget{superexterior_powers_and_schur_functors}{}\subsection*{{Super-exterior powers and Schur functors}}\label{superexterior_powers_and_schur_functors}

A [[finite dimensional vector space]] $V$ has the property that a high enough [[alternating power]] of it vanishes $\wedge^n V = 0$, namely this is the case for all $n \gt dim(V)$, and hence this vanishing is just another reflection of the finiteness of the [[dimension]] of $V$. For a [[super vector space]] $V$ of degreewise finite dimension an analog statement is still true, but one needs to form not just alternating powers but also [[symmetric powers]] (prop. \ref{SchurFunctorAnnihilatingFiniteDimensionalSuperVectorSpace} below), in fact one needs to apply a generalization of both of these constructions, a \emph{[[Schur functor]]}.

The operation of forming [[symmetric powers]] and [[alternating powers]] makes sense in every [[tensor category]]. Moreover, these operations are the two extreme cases of the more general concept of [[Schur functors]]: Given any [[object]] $X$ and given any choice of [[irreducible representation]] $V_\lambda$ of the [[symmetric group]] $\Sigma_n$, then one consider the [[subobject]] $S_\lambda(X^{\otimes^n})$ of the $n$-fold [[tensor power]] that is [[invariant]] under this action.

The first step in the proof of the main theorem (theorem \ref{TheTheorem} below) is the proposition (prop. \ref{LengthOfObjectIsBounded} below) that all objects that have subexponential growth of length (def. \ref{SubexponentialGrowth}) are actually annihilated by some [[Schur functor]] for the [[symmetric group]].

\begin{defn}
\label{SchurFunctor}\hypertarget{SchurFunctor}{}
For $(\mathcal{A},\otimes)$ a $k$-[[tensor category]] as in def.\ref{TensorCategory}, for $X \in \mathcal{A}$ an [[object]], for $n \in \mathbb{N}$ and $\lambda$ a [[partition]] of $n$, regarded as a [[Young diagram]] and hence as a [[representation]] of the [[symmetric group]] $V_\lambda$, say that the value of the [[Schur functor]] $S_\lambda$ on $X$ is

\begin{displaymath}
\begin{aligned}
    S_{\lambda}(X)
      & \coloneqq
    (V_\lambda \otimes X^{\otimes_n})^{S_n}
    \\
    & =
    \left(
      \frac{1}{n!}
      \underset{g\in S_n}{\sum}
      \rho(g)
    \right)
    \left(
      V_\lambda \otimes X^{\otimes_n}
    \right)
  \end{aligned}
\end{displaymath}
where

\begin{itemize}%
\item $(-)^{S_n}$ is the subobject of [[invariants]];


\item $S_n$ is the [[symmetric group]] on $n$ elements;


\item $V_\lambda$ is the [[irreducible representation]] of $S_n$ corresponding to $\lambda$;


\item $\rho$ is [[diagonal action]] of $S_n$ on $V_\lambda \otimes X^{\otimes_n}$, coming from the canonical [[permutation]] action on $X^{\otimes_n}$;


\item $(-)^{S_n}$ denotes the subspace of [[invariants]] under the action $\rho$


\item the second expression just rewrites the invariants as the image of all elements under [[group averaging]].



\end{itemize}
\end{defn}
(\hyperlink{Deligne02}{Deligne 02, 1.4})

\begin{example}
\label{}\hypertarget{}{}
For $\lambda = (n)$, then $V_{(n)} = k$ equipped with the trivial action of the symmetric group. In this case the corresponding [[Schur functor]] (def. \ref{SchurFunctor}) forms the $n$th [[symmetric power]]

\begin{displaymath}
S_{(n)}(X) = Sym^n(X)
  \,.
\end{displaymath}
For the dual case where $\lambda = (1,1, \cdots, 1)$ then $V_{(1,1,\cdots, 1)} = k$ equipped with the action by multiplication with the [[signature of a permutation]] and the corresponding [[Schur functor]] forms the [[alternating power]]

\begin{displaymath}
S_{(1,1, \cdots, 1)}(X) = \wedge^n X
  \,.
\end{displaymath}
\end{example}
\begin{prop}
\label{SchurFunctorAnnihilatingFiniteDimensionalSuperVectorSpace}\hypertarget{SchurFunctorAnnihilatingFiniteDimensionalSuperVectorSpace}{}
Let $V = V_{even} \oplus V_{odd}$ be a [[super vector space]] of degreewise finite dimension $d_{even}, d_{odd} \in \mathbb{N}$. Then there exists a [[Schur functor]] $S_\lambda$ (def. \ref{SchurFunctor}) that annihilates $V$:

\begin{displaymath}
S_\lambda(V) \simeq 0
  \,.
\end{displaymath}
Specifically, this is the case precisely if the corresponding [[Young tableau]] $[\lambda]$ satifies

\begin{displaymath}
[\lambda] \subset \left\{ (i,j)\;\vert\; i \leq d_{even}, j \leq d_{odd} \right\}
  \,.
\end{displaymath}
\end{prop}
(\hyperlink{Deligne02}{Deligne 02, corollary 1.9})

\hypertarget{_tannaka_duality_between_tensor_categories_and_supergroups}{}\subsection*{{ Tannaka duality between tensor categories and supergroups}}\label{_tannaka_duality_between_tensor_categories_and_supergroups}

Above we saw that

\begin{enumerate}%
\item every [[tensor category]] equipped with a [[fiber functor|super fiber functor]] gives rise to an affine supergroup (prop. \ref{AutomorphismSupergroupOfFiberFunctorIsRepresentable});


\item the [[category of representations]] of an affine [[supergroup]] is a tensor category, prop. \ref{RegularTensorCategoriesOfSuperrepresentations}.



\end{enumerate}
Indeed, the relation between tensor categories and supergroups is intimate. The following states that under mild size constraints, \emph{every} tensor category is the category of representations of \emph{some} affine algebraic supergroup. This shows that the concept of [[supergroups]] is fundamental and not accidental.

\begin{theorem}
\label{TheTheorem}\hypertarget{TheTheorem}{}
Every $k$-[[tensor category]] $\mathcal{A}$ (def. \ref{TensorCategory}) such that

\begin{enumerate}%
\item $k$ is an [[algebraically closed field]] of [[characteristic zero]] (e.g. the field of [[complex numbers]])


\item $\mathcal{A}$ is of subexponential growth according to def. \ref{SubexponentialGrowth}



\end{enumerate}
then $\mathcal{A}$ is a neutral super [[Tannakian category]] (def. \ref{TannakianCategory}) and there exists

\begin{enumerate}%
\item an affine algebraic [[supergroup]] $G$ (def. \ref{Supergroup}) whose [[algebra of functions]] $\mathcal{O}(G)$ is a [[finitely generated object|finitely generated]] $k$-algebra.


\item a tensor-[[equivalence of categories]]

\begin{displaymath}
\mathcal{A}
     \simeq
  Rep(G,\epsilon)
  \,.
\end{displaymath}
between $\mathcal{A}$ and the [[category of representations]] of $G$ of finite dimension, according to def. \ref{Superrepresentation} and prop. \ref{RegularTensorCategoriesOfSuperrepresentations}.



\end{enumerate}
\end{theorem}
This is due to (\hyperlink{Deligne02}{Deligne 02, theorem 0.6})

We outline key steps of the proof of theorem \ref{TheTheorem}, given in \hyperlink{Deligne02}{Deligne 02}. The proof proceeds in three main steps:

\begin{enumerate}%
\item \textbf{Proposition \ref{LengthOfObjectIsBounded}} states that in a $k$-[[tensor category]] an object $X$ is of subexponential growth (def. \ref{SubexponentialGrowth}) precisely if there exists a [[Schur functor]] that annihilates it, hence if some power of $X$, skew-symmetrized in sme variables and symmetrized in others, vanishes.

This proposition is where the [[symmetric group]] and its [[permutation]] [[action]] on [[tensor powers]] appears, from just a kind of finite-dimensionality assumption.


\item \textbf{Proposition \ref{SchurFinitenessImpliesExistenceOfSuperFiberFunctor}} in turn says that if every object in $\mathcal{A}$ is annihilated by some [[Schur functor]], then there exists a super [[fiber functor]] on $\mathcal{A}$ over some [[supercommutative superalgebra]] $R$, hence then every object of $\mathcal{A}$ has underlying it a [[super vector space]] with some extra structure.

This proposition is where [[superalgebra]] proper appears.


\item \textbf{Proposition \ref{DeligneTannakaReconstruction}} states that every $k$-[[tensor category]] equipped with a super fiber functor $\omega \colon \mathcal{A} \to sVect$, is equivalent to the category of super-representations of the automorphism supergroup of $\omega$.

This proposition is the instance of general [[Tannaka reconstruction]] applied to the case of fiber functors with values in super vector spaces. This is where the ``supersymmetry'' supergroup is extracted.



\end{enumerate}
\begin{prop}
\label{LengthOfObjectIsBounded}\hypertarget{LengthOfObjectIsBounded}{}
For $\mathcal{A}$ a $k$-[[tensor category]] (def. \ref{TensorCategory}), then the following are equivalent:

\begin{enumerate}%
\item the category $\mathcal{A}$ has subexponential growth (def. \ref{SubexponentialGrowth});


\item for every object $X \in \mathcal{A}$ there exists $n \in \mathbb{N}$ and a [[partition]] $\lambda$ of $n$ such that the corresponding value of the [[Schur functor]], def. \ref{SchurFunctor}, on $X$ vanishes: $S_\lambda(X) = 0$.



\end{enumerate}
\end{prop}
(\hyperlink{Deligne02}{Deligne 02, prop. 05})

\begin{prop}
\label{SchurFinitenessImpliesExistenceOfSuperFiberFunctor}\hypertarget{SchurFinitenessImpliesExistenceOfSuperFiberFunctor}{}
If for every object of a $k$-[[tensor category]] $\mathcal{A}$ (def. \ref{TensorCategory}) there exists a [[Schur functor]] (def. \ref{SchurFunctor}) that annihilates it, then there exists a [[fiber functor|super fiber functor]] (def. \ref{FiberFunctor}) over $k$, hence then $\mathcal{A}$ is a neutral super [[Tannakian category]] (def. \ref{TannakianCategory}).

\begin{displaymath}
\omega
    \;\colon\;
  \mathcal{A}
    \longrightarrow
  sVect
  \,.
\end{displaymath}
\end{prop}
(\hyperlink{Deligne02}{Deligne 02, prop. 2.1 ``r\'e{}sultat cl\'e{} de l'article'', together with prop. 4.5})

\begin{proof}
First (\hyperlink{Deligne02}{Deligne 02, middle of p. 16}) consider the [[tensor category]]

\begin{displaymath}
s \mathcal{A}
    \coloneqq
  (\mathcal{A}^{\mathbb{Z}/2}, \tau_{super} )
\end{displaymath}
which is that of $\mathbb{Z}/2$-graded objects of $\mathcal{A}$, and whose [[braiding]] is given on objects $X,Y$ of homogeneous degree by that of $\mathcal{A}$ multiplied with $(-1)^{deg(X) deg(Y)}$.

Write $1$ and $\overline{1}$ for the [[tensor unit]] of $\mathcal{A}$, regarded in even degree and in odd degree in $s \mathcal{A}$, respectively.

For $A \in CMon(\mathcal{A})$ a [[commutative monoid]], write

\begin{displaymath}
\mathcal{A}
  \simeq
  1 Mod(\mathcal{A})
     \underoverset{\underset{U}{\longleftarrow}}{\overset{(-)_A \coloneqq F}{\longrightarrow}}
 {}
  A Mod(\mathcal{A})
\end{displaymath}
for the [[extension of scalars]] operation $A \otimes(-)$, [[left adjoint]] to [[restriction of scalars]] (prop. \ref{ExtensionOfScalars}).

Show then that the condition that an object $X$ is annihilated by some [[Schur functor]] is equivalent to the existence of an algebra $A$ such that

\begin{displaymath}
X_A \simeq 1^p \oplus \overline{1}^q
\end{displaymath}
for some $p,q \in \mathbb{N}$, hence that each such object is \emph{$A$-locally} a [[super vector space]].

(\hyperlink{Deligne02}{Deligne 02, prop. 2.9}).

Moreover, for each [[short exact sequence]]

\begin{displaymath}
0 \to X \to Y \to Z \to 0
\end{displaymath}
in $s \mathcal{A}$, there exists an algebra $A$ such that

\begin{displaymath}
0 \to X_A \to Y_A \to Z_A \to 0
\end{displaymath}
is a [[split exact sequence]], (hence every short exact sequence is \emph{locally} split).

(\hyperlink{Deligne90}{Deligne 90, 7.14}, Deligne 02, rappel 2.102))

Now (\href{Deligne02}{Deligne 02, middle of p. 17}) let $A$ be the commutative monoid which is the [[tensor product]] of commutative monoids (example \ref{TensorProductOfTwoCommutativeMonoids}) over all [[isomorphism classes]] of [[objects]] and of [[short exact sequences]] in $\mathcal{A}$ of choices of commutative monoids for which these objects/exact sequencs are locally split, as above.

Then for an $A$-module $N$, write $\rho(N)$ for the [[subobject]] of $N$ inside $sVect \simeq Ind\langle 1, \overline{1}\rangle \hookrightarrow s \mathcal{A}$.

Check (\href{Deligne02}{Deligne 02, bottom of p. 17}) that $\rho(A)$ inherits the structure of a commutative monoid, and that $\rho(N)$ inherits the structure of a module over $\rho(N)$.

Set

\begin{displaymath}
R \coloneqq \rho(A)
  \,.
\end{displaymath}
Hence for every object $X$, then

\begin{displaymath}
\omega(X)
    \coloneqq
  \rho(X_A)
\end{displaymath}
has the structure of an $R$-module. By $A$-local splitness of all short exact sequence, $\omega$ is an [[exact functor]].

Hence

\begin{displaymath}
\omega \;\colon\; s \mathcal{A} \longrightarrow R Mod(sVect)
\end{displaymath}
is a super fiber functor on $s\mathcal{A}$ over $R$. This restricts to a super fiber functor over $R$ on $\mathcal{A}$, regarded as the sub-category of even-graded objects in $s \mathcal{A}$:

\begin{displaymath}
\mathcal{A}
    \hookrightarrow
  s \mathcal{A}
   \overset{\omega}{\longrightarrow}
  R Mod(sVect)
  \,,
\end{displaymath}
Finally check (\hyperlink{Deligne02}{Deligne 02, prop. 4.5}) that if a $k$-[[tensor category]] $\mathcal{A}$ (def. \ref{TensorCategory}) admits a [[fiber functor|super fiber functor]] (def. \ref{FiberFunctor}) over a [[supercommutative superalgebra]] $R$ over $k$

\begin{displaymath}
\mathcal{A}
    \longrightarrow
  R Mod(sVect)
\end{displaymath}
then it also admits a super fiber functor over $k$ itself, i.e. a fiber functor to [[sVect]]

\begin{displaymath}
\mathcal{A}
    \longrightarrow
  k Mod(sVect)
  \simeq
  sVect
  \,.
\end{displaymath}
This is argued by expressing $R$ as an [[inductive limit]]

\begin{displaymath}
R = \underset{\longrightarrow}{\lim}_\beta R_\beta
\end{displaymath}
over [[supercommutative superalgebras]] $R_\beta$ of finite type over $k$ and observing (\ldots{}) that there exists $\beta$ such that $\omega_\beta$ is still a fiber functor and such that there exists an algebra homomorphism $R_\beta \to k$.

Finally then the fiber functor in question is

\begin{displaymath}
\omega_\beta \otimes_{R_\beta} k
   \;\colon\;
  \mathcal{A}
    \longrightarrow
  sVect_k
  \,.
\end{displaymath}
\end{proof}
\begin{prop}
\label{DeligneTannakaReconstruction}\hypertarget{DeligneTannakaReconstruction}{}
For every $k$-[[tensor category]] $\mathcal{A}$ (def. \ref{TensorCategory}) and a [[fiber functor|super fiber functor]] over $k$ (def. \ref{FiberFunctor})

\begin{displaymath}
\omega
    \;\colon\;
   \mathcal{A}
     \longrightarrow
   sVect_k
\end{displaymath}
then $\omega$ induces an [[equivalence of categories]]

\begin{displaymath}
\mathcal{A}
     \stackrel{\simeq}{\longrightarrow}
   Rep( \underline{Aut}(\omega),\epsilon)
\end{displaymath}
of $\mathcal{A}$ with the [[category of representations|category of finite dimensional representations]], according to def. \ref{Superrepresentation} and prop. \ref{RegularTensorCategoriesOfSuperrepresentations}, of the automorphism supergroup $\underline{Aut}(\omega)$ (example. \ref{AutomorphismSuperGroupOfSuperFiberFunctor}, prop. \ref{AutomorphismSupergroupOfFiberFunctorIsRepresentable}) of the super fiber functor, where $\epsilon$ is te image of the unique nontrivial element in

\begin{displaymath}
\underline{Aut}(sVect) \simeq \mathbb{Z}/2
\end{displaymath}
(according to example \ref{FundamentalGroupOfCategoryOfSuperVectorSpaces}) under the group homomorphism

\begin{displaymath}
\pi(sVect) \longrightarrow \omega(\pi(\mathcal{A}))
  \simeq \underline{Aut}(\omega)
\end{displaymath}
from prop. \ref{HomomorphismFromPiT2ToEtaPiT1} and using the isomorphism from prop. \ref{AutOfFibFuncIsImagUnderFibFuncOfFundamentalGroup}.

\end{prop}
This is the main [[Tannaka reconstruction]] theorem (\hyperlink{Deligne90}{Deligne 90, 8.17}) specialized to super fiber functors (\hyperlink{Deligne90}{Deligne 90, 8.19}).

\hypertarget{references}{}\subsection*{{References}}\label{references}

Monoidal categories were introduced independently by [[Jean Bénabou]] and [[Saunders MacLane]] under the name `categories with multiplication'. The current name is due to [[Samuel Eilenberg]].

\begin{itemize}%
\item [[Jean Bénabou]], \emph{Cat\'e{}gories avec multiplication} , C. R. Acad. Sci. Paris \textbf{256} (1963) pp.1887-1890. (\href{http://gallica.bnf.fr/ark:/12148/bpt6k3208j/f1965.image}{gallica})


\item [[Jean Bénabou]], \emph{Alg\`e{}bre \'e{}l\'e{}mentaire dans les cat\'e{}gories avec multiplication} , C. R. Acad. Sci. Paris \textbf{258} (1964) pp.771-774. (\href{gallica.bnf.fr/ark:/12148/bpt6k40102/f817.image}{gallica})


\item [[Saunders Mac Lane]], \emph{Natural Associativity and Commutativity} , Rice University Studies \textbf{49} (1963) pp.28-46.



\end{itemize}
Shortly after Mac Lane's definition appeared, Max Kelly showed how the coherence axioms could be whittled down to just two:

\begin{itemize}%
\item [[Max Kelly]], \emph{On MacLane's Conditions for Coherence of Natural Associativities, Commutativities, etc.} , Journal of Algebra \textbf{1} (1964) pp.397-402.

\end{itemize}
The first monograph-length discussion appeared in

\begin{itemize}%
\item [[Samuel Eilenberg]], [[Max Kelly]], \emph{Closed Categories} , pp.421-562 in Eilenberg et al. (eds.), \emph{Proceedings of the Conference on Categorical Algebra - La Jolla 1965} , Springer Heidelberg 1966.

\end{itemize}
A more recnt texbook account with emphasis on [[tensor categories]] is

\begin{itemize}%
\item [[nLab:Pavel Etingof]], Shlomo Gelaki, Dmitri Nikshych, [[nLab:Victor Ostrik]], chapter 2 of \emph{Tensor categories}, Mathematical Surveys and Monographs, Volume 205, American Mathematical Society, 2015 (\href{http://www-math.mit.edu/~etingof/egnobookfinal.pdf
}{pdf})


\item [[Pavel Etingof]], Shlomo Gelaki, Dmitri Nikshych, [[Victor Ostrik]], \emph{Topics in Lie theory and Tensor categories}, Lecture notes (spring 2009) (\href{http://ocw.mit.edu/courses/mathematics/18-769-topics-in-lie-theory-tensor-categories-spring-2009/lecture-notes/}{web})



\end{itemize}
Commutative algebra internal to symmetric monoidal categories is discussed in

\begin{itemize}%
\item [[Anthony Elmendorf]], [[Igor Kriz]], [[Michael Mandell]], [[Peter May]], \emph{Rings, modules and algebras in stable homotopy theory}, AMS 1997, 2014


\item [[Mark Hovey]], [[Brooke Shipley]], [[Jeff Smith]], \emph{Symmetric spectra}, J. Amer. Math. Soc. 13 (2000), 149-208 (\href{http://arxiv.org/abs/math/9801077}{arXiv:math/9801077})



\end{itemize}
and specifically for [[commutative Hopf algebroids]] in

\begin{itemize}%
\item [[Doug Ravenel]], chapter 2 and appendix A.1 of \emph{[[Complex cobordism and stable homotopy groups of spheres]]}, 1986 (\href{http://www.math.rochester.edu/people/faculty/doug/mybooks/ravenelA1.pdf}{pdf})

\end{itemize}
(These authors are motivated by the application of the general theory of algebra in monoidal categories to ``[[higher algebra]]'' (``[[brave new algebra]]'') in [[stable homotopy theory]]. This is a version of [[supercommutative superalgebra]] via example \ref{HomotopyCommutativeRingSpectrum} above.)

Free supercommutative superalgebras ([[Grassmann algebras]]) were first considered in

\begin{itemize}%
\item [[Hermann Grassmann]], \emph{[[Ausdehnungslehre]]}, 1844

\end{itemize}
Review of basic superalgebra includes

\begin{itemize}%
\item [[Yuri Manin]], chapter 3 of \emph{[[Gauge Field Theory and Complex Geometry]]}, Grundlehren der Mathematischen Wissenschaften 289, Springer 1988


\item [[Dennis Westra]], \emph{Superrings and supergroups}, 2009 (\href{http://www.mat.univie.ac.at/~michor/westra_diss.pdf}{pdf})



\end{itemize}
Discussion of superalgebras enhanced to [[smooth algebras]] ([[synthetic differential supergeometry]]) is in

\begin{itemize}%
\item [[David Carchedi]], [[Dmitry Roytenberg]], \emph{On theories of superalgebras of differentiable functions}, Theory and Applications of Categories, Vol. 28, 2013, No. 30, pp 1022-1098. (\href{http://arxiv.org/abs/1211.6134}{arxiv:1211.6134}, \href{http://www.tac.mta.ca/tac/volumes/28/30/28-30abs.html}{TAC})

\end{itemize}
[[Deligne's theorem on tensor categories]] is due to

\begin{itemize}%
\item [[nLab:Pierre Deligne]], \emph{Cat\'e{}gorie Tensorielle}, Moscow Math. Journal 2 (2002) no. 2, 227-248. (\href{https://www.math.ias.edu/files/deligne/Tensorielles.pdf}{pdf})

\end{itemize}
building on the general results on [[nLab:Tannakian categories]] in

\begin{itemize}%
\item [[nLab:Pierre Deligne]], \emph{[[nLab:Catégories Tannakiennes]]}, Grothendieck Festschrift, vol. II, Birkh\"a{}user Progress in Math. 87 (1990) pp.111-195. (\href{https://publications.ias.edu/sites/default/files/60_categoriestanna.pdf}{pdf})

\end{itemize}
which are reviewed and further generalized in

\begin{itemize}%
\item [[Pierre Deligne]] [[James Milne]], \emph{Tannakian categories}, 2012 (\href{http://www.jmilne.org/math/xnotes/tc.pdf}{pdf})

\end{itemize}
Surveys are in

\begin{itemize}%
\item [[nLab:Victor Ostrik]], \emph{Tensor categories (after P. Deligne)} (\href{http://arxiv.org/abs/math/0401347}{arXiv:math/0401347})


\item \hyperlink{EGNO15}{EGNO 15, chapter 9.11}



\end{itemize}
The special case of Tannaka duality for ordinary compact groups regarded as supergroups (hence equipped with ``inner parity'', def. \ref{InnerParity}, just being an involutive central element) is discussed in

\begin{itemize}%
\item [[Michael Müger]], \emph{Abstract Duality Theory for Symmetric Tensor $*$-Categories} appendix (\href{http://www.math.ru.nl/~mueger/PDF/16.pdf}{pdf}), in [[Hans Halvorson]], \emph{Algebraic quantum field theory} (\href{http://arxiv.org/abs/math-ph/0602036}{arXiv:math-ph/0602036}), in J. Butterfield \& J. Earman (eds.) \emph{Handbook of Philosophy and Physics}

\end{itemize}
as a proof of [[Doplicher-Roberts reconstruction]] in [[algebraic quantum field theory]].

In their [[formal dual]] incarnations as super-graded commutative [[dg-algebras]] (super [[Chevalley-Eilenberg algebras]]), [[super L-∞ algebras]] of [[finite type]] had secretly been introduced in

\begin{itemize}%
\item [[Riccardo D'Auria]], [[Pietro Fré]] [[Tullio Regge]], \emph{Graded Lie algebra, cohomology and supergravity}, Riv. Nuov. Cim. 3, fasc. 12 (1980) (\href{http://inspirehep.net/record/156191}{spire})


\item [[Peter van Nieuwenhuizen]], \emph{Free Graded Differential Superalgebras}, in \emph{Istanbul 1982, Proceedings, Group Theoretical Methods In Physics}, 228-247 and CERN Geneva - TH. 3499 (\href{http://inspirehep.net/record/182644/}{spire})



\end{itemize}
and hence a whole decade before the explicit appearance of plain (non-super) [[L-∞ algebras]] in \href{L-infinity-algebra#LadaStasheff92}{Lada-Stasheff 92}.

The concept was picked up in the [[D'Auria-Fré formulation of supergravity]]

\begin{itemize}%
\item [[Riccardo D'Auria]], [[Pietro Fré]], \emph{[[GeometricSupergravity.pdf:file]]}, Nuclear Physics B201 (1982) 101-140 ([[GeometricSupergravityErrata.pdf:file]])

\end{itemize}
and eventually came to be referred to as ``FDA''s (short for ``free differential algebra'') in the [[supergravity]] literature (where in [[rational homotopy theory]] one says ``[[semifree dga]]'', since these dg-algebras are crucially not required to be free as \emph{differential} algebras).

The relation between super $L_\infty$-algebras and the ``FDA''s of the [[supergravity]] literature is made explicit in

\begin{itemize}%
\item [[nLab:Domenico Fiorenza]], [[nLab:Hisham Sati]], [[nLab:Urs Schreiber]], \emph{[[schreiber:The brane bouquet|Super Lie n-algebra extensions, higher WZW models and super p-branes with tensor multiplet fields]]} International Journal of Geometric Methods in Modern Physics Volume 12, Issue 02 (2015) 1550018, (\href{http://arxiv.org/abs/1308.5264}{arXiv:1308.5264})

\end{itemize}


\end{document}