---
abstract: |
    In this paper, we define the functor category ${{\ensuremath{\mathcal{F}_{quad}}}}$ associated to ${{\mathbb{F}_2}}$-vector spaces equipped with a quadratic form. We show the existence of a fully-faithful, exact functor $\iota: {{\mathcal{F}}}\rightarrow
    {{\ensuremath{\mathcal{F}_{quad}}}}$, which preserves simple objects, where ${{\mathcal{F}}}$ is the category of functors from the category of finite dimensional ${{\mathbb{F}_2}}$-vector spaces to the category of all ${{\mathbb{F}_2}}$-vector spaces. We define the subcategory ${{\ensuremath{\mathcal{F}_{iso}}}}$ of ${{\ensuremath{\mathcal{F}_{quad}}}}$, which is equivalent to the product of the categories of modules over the orthogonal groups; the inclusion is a fully-faithful functor $\kappa: {{\ensuremath{\mathcal{F}_{iso}}}}\rightarrow
    {{\ensuremath{\mathcal{F}_{quad}}}}$ which preserves simple objects.\
    $\ $\
    *Keywords*: functor categories; quadratic forms over ${{\mathbb{F}_2}}$; Mackey functors; representations of orthogonal groups over ${{\mathbb{F}_2}}$.
address: |
    Laboratoire Analyse, Géométrie et Applications, UMR 7539\
    Institut Galilée, Université Paris 13, 93430 Villetaneuse, France
author:
- Christine Vespa
bibliography:
- 'these.bib'
title: 'The functor category $\mathcal{F}_{quad}$'
---

Introduction {#introduction .unnumbered}
============

In recent years, one of the functor categories which has been particularly studied is the category ${{\mathcal{F}}}(p)$ of functors from the category ${{\mathcal{E}}}^f$ of finite dimensional $\mathbb{F}_p$-vector spaces to the category ${{\mathcal{E}}}$ of all $\mathbb{F}_p$-vector spaces, where $\mathbb{F}_p$ is the prime field with $p$ elements. This category is connected to several areas of algebra and some examples of these can be found in [@PS16]. The category ${{\mathcal{F}}}(p)$ is closely related to the general linear groups. An important application of ${{\mathcal{F}}}(p)$ is given in [@FFSS], where the four authors proved that this category is very useful for the study of the stable cohomology of the general linear groups with suitable coefficients. They showed that the calculation of certain extension groups in the category ${{\mathcal{F}}}$ determines some stable cohomology groups of general linear groups. One of the motivations of the work presented here is to construct and study a category ${{\ensuremath{\mathcal{F}_{quad}}}}$ which could play a similar role for the stable cohomology of the orthogonal groups.

In this paper, we restrict to the prime $p=2$; the techniques can be applied in the odd prime case, but the case $p=2$ presents features which make it particularly interesting. Henceforth, we will suppose that $p=2$ and we will denote the category ${{\mathcal{F}}}(2)$ by ${{\mathcal{F}}}$.

After some recollections on the theory of quadratic forms over ${{\mathbb{F}_2}}$, we give the definition of the category ${{\ensuremath{\mathcal{F}_{quad}}}}$. In order to have a good understanding of the category ${{\ensuremath{\mathcal{F}_{quad}}}}$, we seek to classify the simple objects of this category. The first important result of this paper is the following theorem.

There is a functor $$\iota: {{\mathcal{F}}}\rightarrow {{\ensuremath{\mathcal{F}_{quad}}}}$$ which satisfies the following properties:

1.  $\iota$ is exact;

2.  $\iota$ preserves tensor products;

3.  $\iota$ is fully-faithful;

4.  if $S$ is a simple object of ${{\mathcal{F}}}$, $\iota(S)$ is a simple object of ${{\ensuremath{\mathcal{F}_{quad}}}}$.

Using a study of the projective functors of the category ${{\ensuremath{\mathcal{F}_{quad}}}}$, we will show in [@Vespa] that $\iota(F)$ is a thick subcategory of ${{\ensuremath{\mathcal{F}_{quad}}}}$.

To study a particular family of functors of ${{\ensuremath{\mathcal{F}_{quad}}}}$, the isotropic functors, we define the subcategory ${{\ensuremath{\mathcal{F}_{iso}}}}$ of ${{\ensuremath{\mathcal{F}_{quad}}}}$ which is related to ${{\ensuremath{\mathcal{F}_{quad}}}}$ by the following theorem:

There is a functor $$\kappa: {{\ensuremath{\mathcal{F}_{iso}}}}\rightarrow {{\ensuremath{\mathcal{F}_{quad}}}}$$ which satisfies the following properties:

1.  $\kappa$ is exact;

2.  $\kappa$ preserves tensor products;

3.  $\kappa$ is fully-faithful;

4.  if $S$ is a simple object of ${{\ensuremath{\mathcal{F}_{iso}}}}$, $\kappa(S)$ is a simple object of ${{\ensuremath{\mathcal{F}_{quad}}}}$.

We obtain the classification of the simple objects of the category ${{\ensuremath{\mathcal{F}_{iso}}}}$ from the following theorem.

There is a natural equivalence of categories $${{\ensuremath{\mathcal{F}_{iso}}}}\simeq \prod_{V \in \mathcal{S}} {{\mathbb{F}_2}}[O(V)]-mod$$ where $\mathcal{S}$ is a set of representatives of isometry classes of quadratic spaces (possibly degenerate).

Apart from the previous theorem, the results of this paper are contained in the Ph.D. thesis of the author [@Vespa-these], although several results are presented here from a more conceptual point of view.

The author wants to thank her PhD supervisor, Lionel Schwartz, as well as Geoffrey Powell and Aurélien Djament for their useful comments and suggestions on a previous version of this paper.

Quadratic spaces over ${{\mathbb{F}_2}}$
========================================

We recall the definition and the classification of quadratic forms over the field ${{\mathbb{F}_2}}$. We refer the reader to [@Pfister] for details.

Definitions
-----------

Let $V$ be a ${{\mathbb{F}_2}}$-vector space of finite dimension. A quadratic form over $V$ is a function $q: V \rightarrow {{\mathbb{F}_2}}$ such that $q(x+y)+q(x)+q(y)=B(x,y)$ is a bilinear form. As a direct consequence of the definition, we have that the bilinear form associated to a quadratic form is alternating.

The radical of a quadratic space $(V,q_V)$ is the subspace of $V$ given by $$\mathrm{Rad}(V,q_V)=\{ v \in V | \forall w \in V\  B(v,w)=0 \}$$ where $B(-,-)$ is the bilinear form associated to the quadratic form. A quadratic space $(V,q_V)$ is non-degenerate if $\mathrm{Rad}(V,q_V)=0$.

Non-degenerate quadratic forms
------------------------------

### Classification

In this paragraph, we recall the classification of non-degenerate quadratic forms. The classification of non-singular alternating forms implies that a non-degenerate quadratic space over ${{\mathbb{F}_2}}$ has even dimension and has a symplectic basis.

The space $H_0$ is the non-degenerate quadratic space of dimension two with symplectic basis $\{ a_0, b_0 \}$, and quadratic form determined by: $$\begin{array}{cccc}
q_{0}: & H_0 & \rightarrow & \mathbb{F}_{2}\\
       & a_0 & \longmapsto & 0\\
       & b_0 & \longmapsto & 0.
\end{array}$$ The space $H_{1}$ is the non-degenerate quadratic space of dimension two with symplectic basis $\{ a_1, b_1 \}$, and quadratic form determined by: $$\begin{array}{cccc}
q_{1}: & H_1 & \rightarrow & \mathbb{F}_{2}\\
       & a_1 & \longmapsto & 1\\
       & b_1 & \longmapsto & 1.
\end{array}$$ The spaces $H_0$ and $H_1$ are not isometric, whereas the spaces $H_0
\bot H_0$ and $H_1 \bot H_1$ are isometric. The non degenerate quadratic spaces of dimension $2m$, for $m \ge 1$, are classified by the following result.

[@Pfister] \[1.1\] Let $m \geq 1$ be an integer.

1.  The quadratic spaces $H_0^{\bot m}$ and $H_1 \bot H_0^{\bot (m-1)}$ are not isometric.

2.  A quadratic space of dimension $2m$ is isometric to either $H_0^{\bot m}$ or $H_1 \bot H_0^{\bot (m-1)}$.

The two spaces $H_0^{\bot m}$ and $H_1 \bot H_0^{\bot (m-1)} $ are distinguished by the Arf invariant introduced in [@Arf]. Observe that $\mathrm{Arf}(H_0^{\bot m})=0$ and $\mathrm{Arf}(H_1 \bot H_0^{\bot (m-1)})=1$.

### The category ${{\ensuremath{\mathcal{E}_{q}}}}$

Let ${{\ensuremath{\mathcal{E}_{q}}}}$ be the category having as objects finite dimensional ${{\mathbb{F}_2}}$-vector spaces equipped with a non degenerate quadratic form and with morphisms linear maps which preserve the quadratic forms.

Observe that a linear map which preserves the quadratic forms preserves the underlying bilinear form, but the converse is, in general, false. The following proposition summarizes straightforward but important results about the category ${{\ensuremath{\mathcal{E}_{q}}}}$.

\[1.3\]

1.  The morphisms of ${{\ensuremath{\mathcal{E}_{q}}}}$ are injective linear maps. Consequently they are monomorphisms.

2.  The category ${{\ensuremath{\mathcal{E}_{q}}}}$ does not admit push-outs or pullbacks.

The diagram $V \leftarrow \{0 \} \rightarrow V$, where $V \not \simeq
\{ 0\}$ does not admit a push-out in ${{\ensuremath{\mathcal{E}_{q}}}}$.

To resolve this difficulty, we define the notion of a pseudo push-out in ${{\ensuremath{\mathcal{E}_{q}}}}$.

### Pseudo push-out

To define the pseudo push-out in ${{\ensuremath{\mathcal{E}_{q}}}}$, we need the following remark, which uses the non-degeneracy of the quadratic form in an essential way.

For $f$ an element of $\mathrm{Hom}_{{{\ensuremath{\mathcal{E}_{q}}}}}(V,W)$, we have $W \simeq
f(V) \bot V'$, where $V'$ is the orthogonal space to $W$ in the space $V$. As the spaces $V$ and $f(V)$ are isometric, the spaces $W$ and $V \bot V'$ are also. We will write $$f: V \rightarrow W \simeq V \bot V'.$$

\[1.6\] For $f: V \rightarrow W \simeq V \bot V'$ and $g: V \rightarrow X
\simeq V \bot V''$ morphisms in ${{\ensuremath{\mathcal{E}_{q}}}}$, the pseudo push-out of $f$ and $g$, denoted by $W \underset{V}{\bot} X$, is the object $V \bot V' \bot V''$ of ${{\ensuremath{\mathcal{E}_{q}}}}$.

We give, in the following proposition, the principal properties of the pseudo push-out.

\[1.7\] Let $f:V \rightarrow W \simeq V \bot V'$ and $g: V \rightarrow X
\simeq V \bot V'' $ be morphisms in ${{\ensuremath{\mathcal{E}_{q}}}}$, the pseudo push-out of $f$ and $g$ satisfies the following properties.

1.  There exists a commutative diagram of the form $$\xymatrix{
      V \ar[d]_f  \ar[r]^g  & X \ar[d]\\
      W \ar[r]   & X \underset{V}{\bot} W}$$

2.  $W \underset{V}{\bot} X \simeq X \underset{V}{\bot} W$;

3.  if $V \simeq V'$ then $ W \underset{V}{\bot} X \simeq W
    \underset{V'}{\bot} X $;

4.  [Associativity:]{} $(X \underset{V}{\bot} W) \underset{Z}{\bot} Y\simeq X
    \underset{V}{\bot} (W \underset{Z}{\bot} Y)$;

5.  [Unit: ]{} $V \underset{V}{\bot} W \simeq W$.

By the first point of the previous proposition, the pseudo push-out occurs in a commutative diagram $$\xymatrix{
  V \ar[d]  \ar[r]  & V \bot V" \ar[d]\\
  V \bot V' \ar[r]   & V \bot V' \bot V''}$$ which is equivalent to the orthogonal sum of the diagram $$\xymatrix{
  \{0 \} \ar[d]  \ar[r]  & V'' \ar[d]\\
  V' \ar[r]   & V' \bot V''}$$ with $V$. Hence, the pseudo push-out can be considered as a generalization of the orthogonal sum.

Degenerate quadratic forms
--------------------------

The previous section implies that, in particular, all quadratic spaces of odd dimension are degenerate. We begin by considering the quadratic spaces of dimension one.

For $\alpha \in \{ 0,1 \}$, let $(x, \alpha)$ be the quadratic space of dimension one generated by $x$ such that $q(x)=\alpha$.

### Classification

We have the following classification:

[@Pfister] \[1.9\]

1.  Every quadratic space over ${{\mathbb{F}_2}}$ has an orthogonal decomposition $$V \simeq H \bot \mathrm{Rad}(V)$$ such that $H$ is non-degenerate and $\mathrm{Rad}(V)$ is isometric to either $(x,0)^{\bot r}$ or $(x,1)^{\bot r}$, where $r$ is the dimension of $\mathrm{Rad}(V)$.

2.  Let $V \simeq H \bot \mathrm{Rad}(V)$ and $V \simeq H' \bot
    \mathrm{Rad}(V)$ be two decompositions of $V$, if $\mathrm{Rad}(V)
    \simeq (x,0)^{\bot r}$ for $r \geq 0$, then $H \simeq H'$.

3.  Let $H$ and $H'$ be two non-degenerate quadratic forms such that $\mathrm{dim}(H) =\mathrm{dim}(H')$ then, for all $r>0$, $$H \bot (x,1)^{\bot r} \simeq H' \bot (x,1)^{\bot r}.$$

The third point of the previous theorem, is implied by the isometry: $$H_0 \bot (x,1) \simeq H_1 \bot (x,1).$$ This exhibits one of the particularities of quadratic forms over ${{\mathbb{F}_2}}$: the “non-degenerate part” of a quadratic form is not unique in general, not even up to isometry.

### The category ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$

Let ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ be the category having as objects finite dimensional ${{\mathbb{F}_2}}$-vector spaces equipped with a (possibly degenerate) quadratic form and with morphisms, injective linear maps which preserve the quadratic forms.

The hypothesis that the morphisms are linear injective maps is essential for later considerations.

The following proposition underlines one of the important difference between ${{\ensuremath{\mathcal{E}_{q}}}}$ and ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$.

\[1.12\] The category ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ admits pullbacks.

Nevertheless, ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ does not contain all push-outs.

Definition of the category ${{\ensuremath{\mathcal{F}_{quad}}}}$
================================================================

We have emphasized the fact that all the morphisms of ${{\ensuremath{\mathcal{E}_{q}}}}$ are monomorphisms. The constructions which link the category ${{\mathcal{F}}}$ to the stable homology of the general linear groups use, in an essential way, the existence of retractions in the category ${{\mathcal{E}}}^f$. Therefore, to consider analogous constructions in the quadratic case, we would like to add formally retractions to the category ${{\ensuremath{\mathcal{E}_{q}}}}$. For this, we define the category ${{\ensuremath{\mathcal{T}_{q}}}}$ inspired by the construction of the category of co-spans introduced by Bénabou in [@Benabou].

The category ${{\ensuremath{\mathcal{T}_{q}}}}$
-----------------------------------------------

### The categories of spans and co-spans

We will begin by recalling the construction of Bénabou.

Our principal interest is in the category ${{\ensuremath{\mathcal{F}_{quad}}}}$. The construction of this category uses a generalization of the category of co-spans, which we have chosen to present rather than spans.

[@Benabou] Let ${{\mathcal{D}}}$ be a category equipped with push-outs, the category $\mathrm{coSpan}({{\mathcal{D}}})$ is defined in the following way:

1.  the objects of $\mathrm{coSpan}({{\mathcal{D}}})$ are those of ${{\mathcal{D}}}$;

2.  for $A$ and $B$ two objects of $\mathrm{coSpan}({{\mathcal{D}}})$, $\mathrm{Hom}_{\mathrm{coSpan}({{\mathcal{D}}})} (A,B)$ is the set of equivalence classes of diagrams in ${{\mathcal{D}}}$ of the form $A \xrightarrow{f} D \xleftarrow{g} B$, for the equivalence relation which identifies the two diagrams $A \xrightarrow{f} D \xleftarrow{g} B$ and $A \xrightarrow{u} D' \xleftarrow{v} B$ if there exists an isomorphism $\alpha: D \rightarrow D'$ such that the following diagram is commutative $$\xymatrix{
      &  B \ar[d]_{g} \ar[rdd]^{v}\\
    A \ar[r]^{f}  \ar[drr]_{u} & D \ar[dr]^(.3){\alpha }\\
      &   &D'.\\
    }$$ The morphism of $\mathrm{Hom}_{\mathrm{coSpan}({{\mathcal{D}}})} (A,B)$ represented by the diagram $A \xrightarrow{f} D \xleftarrow{g} B$ will be denoted by $[A \xrightarrow{f} D \xleftarrow{g} B]$;

3.  the composition is given by:\
    for two morphisms $T_1 =\lbrack A \rightarrow D  \leftarrow B
     \rbrack$ and $T_2 =\lbrack B \rightarrow D' \leftarrow C \rbrack$, $$T_2 \circ T_1\ =\lbrack A \rightarrow D \underset{B}{\amalg}
     D' \leftarrow C \rbrack.$$

By duality, Bénabou gives the following definition.

Let ${{\mathcal{D}}}$ be a category equipped with pullbacks. The category $\mathrm{Sp}({{\mathcal{D}}})$ is defined by: $\mathrm{Sp}({{\mathcal{D}}}) \simeq \mathrm{coSpan}({{\mathcal{D}}}^{op})^{op}$.

\[2.3\] The category $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ is defined, since ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ admits pullbacks by proposition \[1.12\].

### The category ${{\ensuremath{\mathcal{T}_{q}}}}$

By proposition \[1.3\] neither the category of Spans nor co-Spans are defined for ${{\ensuremath{\mathcal{E}_{q}}}}$. However, we observe that the universality of the push-out plays no role in the definition of the category $\mathrm{coSpan}({{\mathcal{D}}})$. So, by definition \[1.6\] of the pseudo push-out of ${{\ensuremath{\mathcal{E}_{q}}}}$ we can give the following definition.

The category $\hat{\mathcal{T}_{q}}$ is defined in the following way:

1.  the objects of $\hat{\mathcal{T}_{q}}$ are those of ${{\ensuremath{\mathcal{E}_{q}}}}$;

2.  for $V$ and $W$ two objects of $\hat{\mathcal{T}_{q}}$, $\mathrm{Hom}_{\hat{\mathcal{T}_{q}}}(V,W)$ is defined in the same way as for the category $\mathrm{coSpan}({{\mathcal{D}}})$ and we will use the same notation for the morphisms;

3.  the composition is given by:\
    for $T_1 =\lbrack V \rightarrow X_1 \leftarrow W
       \rbrack$ and $T_2 =\lbrack W \rightarrow X_2 \leftarrow Y \rbrack$, $$T_2 \circ T_1\ =\lbrack V \rightarrow X_1
       \underset{W}{\bot} X_2 \leftarrow Y \rbrack$$ where $ X_1
       \underset{W}{\bot} X_2$ is the pseudo push-out.

The elementary properties of the pseudo push-out given in \[1.7\] show that the composition is well-defined and associative. Thus, the above defines a category.

To define the category ${{\ensuremath{\mathcal{T}_{q}}}}$, we consider the following relation on the morphisms of $\hat{{{\ensuremath{\mathcal{T}_{q}}}}}$.

For $V$ and $W$ two objects of $\hat{{{\ensuremath{\mathcal{T}_{q}}}}}$, the relation $\mathcal{R}$ on $\mathrm{Hom}_{\hat{\mathcal{T}_{q}}}(V,W)$ for $V$ and $W$ objects of $\hat{\mathcal{T}_{q}}$, is defined by:\
for $T_1 =\lbrack V \rightarrow X_1 \leftarrow W
   \rbrack$ and $T_2 =\lbrack V \rightarrow X_2 \leftarrow W \rbrack$, two elements of $\mathrm{Hom}_{\hat{\mathcal{T}_{q}}}(V,W)$, $T_1
   \mathcal{R} T_2$ if there exists a morphism $\alpha$ of ${{\ensuremath{\mathcal{E}_{q}}}}$ such that the following diagram is commutative $$\xymatrix{
  & W \ar[d] \ar[rdd]\\
V \ar[r]  \ar[drr] & X_{1}\ar[dr]^(.3){\alpha }\\
  &   &X_{2}.\\
}$$ We will denote by $\sim$ the equivalence relation on $\mathrm{Hom}_{\hat{\mathcal{T}_{q}}}(V,W)$ generated by the relation $\mathcal{R}$.

The composition in $\hat{\mathcal{T}_{q}}$ induces an application: $$\circ:\ \mathrm{Hom}_{\hat{\mathcal{T}_{q}}}(V,W)/ \sim \  \times \ 
\mathrm{Hom}_{\hat{\mathcal{T}_{q}}}(U,V) / \sim \ \rightarrow\ 
\mathrm{Hom}_{\hat{\mathcal{T}_{q}}}(U,W)/ \sim.$$

By the properties of the pseudo push-out given in Proposition \[1.7\] we verify that:

1.  if $T_1 \mathcal{R} T_2$, then $(T_3 \circ T_1)
    \mathcal{R} (T_3 \circ T_2)$;

2.  if $T_3 \mathcal{R} T_4$, then $(T_1 \circ T_3)
    \mathcal{R} (T_1 \circ T_4)$.

Thanks to the previous lemma, we can give the following definition.

Let ${{\ensuremath{\mathcal{T}_{q}}}}$ be the category having as objects the objects of ${{\ensuremath{\mathcal{E}_{q}}}}$ and with morphisms $  \mathrm{Hom}_{{\mathcal{T}_{q}}}(V,W)=\mathrm{Hom}_{\hat{\mathcal{T}_{q}}}(V,W)/\sim$.

For convenience we will use the same notation for the morphisms of ${{\ensuremath{\mathcal{T}_{q}}}}$ as for those of $\hat{\mathcal{T}_{q}}$.

### Properties of the category ${{\ensuremath{\mathcal{T}_{q}}}}$ {#2.1.3}

We have the following important property.

For $f: V \rightarrow W$ a morphism in the category ${{\ensuremath{\mathcal{E}_{q}}}}$, we have the following relation in ${{\ensuremath{\mathcal{T}_{q}}}}$ $$[W \xrightarrow{\mathrm{Id}} W \xleftarrow{f} V ] \circ [V
\xrightarrow{f} W \xleftarrow{\mathrm{Id}} W] =\mathrm{Id}_V.$$ In particular, $[W \xrightarrow{\mathrm{Id}} W \xleftarrow{f} V ]$ is a retraction of $[V \xrightarrow{f} W \xleftarrow{\mathrm{Id}} W]$.

It is a direct consequence of the definition of ${{\ensuremath{\mathcal{T}_{q}}}}$.

To close this paragraph we give two useful constructions in the category ${{\ensuremath{\mathcal{T}_{q}}}}$.

\[2.9\] The transposition functor, $tr: {{\ensuremath{\mathcal{T}_{q}}}}^{op}
\rightarrow {{\ensuremath{\mathcal{T}_{q}}}}$, is defined on objects by $tr(V)=V$ and on morphisms by: $$\mathrm{tr}(f)=\mathrm{tr} (\lbrack  V \rightarrow X \leftarrow W
\rbrack)= \lbrack  W \rightarrow X \leftarrow V \rbrack,$$ for $V$ and $W$ objects of ${{\ensuremath{\mathcal{T}_{q}}}}^{op}$ and $f$ an element of $\mathrm{Hom}_{{{\ensuremath{\mathcal{T}_{q}}}}^{op}}(W,V)$.

Observe that the transposition functor is involutive.

\[2.10\] There exists a bifunctor $\bot :\ {{\ensuremath{\mathcal{T}_{q}}}}\times {{\ensuremath{\mathcal{T}_{q}}}}\rightarrow {{\ensuremath{\mathcal{T}_{q}}}}$, called the orthogonal sum, defined on objects by: $$\bot (V,W)=V \bot W$$ and on morphisms by: $$\bot (\lbrack V
\xrightarrow{f} X \xleftarrow{g} W \rbrack, \lbrack V'
\xrightarrow{f'} X' \xleftarrow{g'} W' \rbrack)=\lbrack V \bot V'
\xrightarrow{f \bot f'} X \bot X' \xleftarrow{g \bot g'} W \bot W'
\rbrack.$$ This bifunctor gives ${{\ensuremath{\mathcal{T}_{q}}}}$ the structure of a symmetric monoidal category, with unit $\{0 \}$.

It is straightforward to verify that $\bot$ is a well-defined bifunctor, and that it is associative, symmetric and that the object $\{ 0 \}$ of ${{\ensuremath{\mathcal{T}_{q}}}}$ is a unit for $\bot$.

Definition and properties of the category ${{\ensuremath{\mathcal{F}_{quad}}}}$
-------------------------------------------------------------------------------

As the category ${{\ensuremath{\mathcal{T}_{q}}}}$ is essentially small, we can give the following definition.

The category ${{\ensuremath{\mathcal{F}_{quad}}}}$ is the category of functors from ${{\ensuremath{\mathcal{T}_{q}}}}$ to ${{\mathcal{E}}}$.

By analogy with the classical definition of Mackey functors, given in [@thev] and due, originally, to Dress [@dress], and with the work of Lindner in [@lindner], we can view the category ${{\ensuremath{\mathcal{F}_{quad}}}}$ as the category of generalized Mackey functors over ${{\ensuremath{\mathcal{E}_{q}}}}$. Note that, in our definition, we consider all the functors from ${{\ensuremath{\mathcal{T}_{q}}}}$ to ${{\mathcal{E}}}$ and not only the additive functors, unlike [@thev].

By classical results about functor categories and by the Yoneda lemma, we obtain the following theorem.

\[2.13\]

1.  The category ${{\ensuremath{\mathcal{F}_{quad}}}}$ is abelian.

2.  The tensor product of vector spaces induces a structure of symmetric monoidal category on ${{\ensuremath{\mathcal{F}_{quad}}}}$.

3.  For any object $V$ of ${{\ensuremath{\mathcal{T}_{q}}}}$, the functor $P_V={{\mathbb{F}_2}}\lbrack
    \mathrm{Hom}_{{{\ensuremath{\mathcal{T}_{q}}}}}(V,-) \rbrack $ is a projective object and there is a natural isomorphism: $$\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{quad}}}}}(P_V, F) \simeq F(V)$$ for all objects $F$ of ${{\ensuremath{\mathcal{F}_{quad}}}}$.

    The set of functors $\{ P_V | V \in \mathcal{S} \}$ is a set of projective generators of ${{\ensuremath{\mathcal{F}_{quad}}}}$, where $\mathcal{S}$ is a set of representatives of isometry classes of non-degenerate quadratic spaces. In particular, the category ${{\ensuremath{\mathcal{F}_{quad}}}}$ has enough projective objects.

The transposition functor of ${{\ensuremath{\mathcal{T}_{q}}}}$ allows us to give the following definition.

\[2.14\] The duality functor of ${{\ensuremath{\mathcal{F}_{quad}}}}$ is the functor $D: {{\ensuremath{\mathcal{F}_{quad}}}}^{op} \rightarrow
{{\ensuremath{\mathcal{F}_{quad}}}}$ given by: $$DF=-^* \circ F \circ tr^{op}$$ for $F$ an object of ${{\ensuremath{\mathcal{F}_{quad}}}}$, $-^*$ the duality functor from ${{\mathcal{E}}}^{op}$ to ${{\mathcal{E}}}$ and $tr$ the transposition functor of ${{\ensuremath{\mathcal{T}_{q}}}}$ defined in \[2.9\].

The following proposition summarizes the basic properties of the duality functor $D$.

1.  The functor $D$ is exact.

2.  The functor $D$ is right adjoint to the functor $D^{op}$, i.e. we have a natural isomorphism: $$\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{quad}}}}}(F, DG) \simeq \mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{quad}}}}^{op}}(D^{op}F, G) \simeq \mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{quad}}}}}(G, DF).$$

3.  For $F$ an object of ${{\ensuremath{\mathcal{F}_{quad}}}}$ with values in finite dimensional vector spaces, the unit of the adjunction between ${{\ensuremath{\mathcal{F}_{quad}}}}$ and ${{\ensuremath{\mathcal{F}_{quad}}}}^{op}$, $F
    \rightarrow DD^{op}F$, is an isomorphism.

A straightforward consequence of the second point of the last proposition and theorem \[2.13\] is:

The category ${{\ensuremath{\mathcal{F}_{quad}}}}$ has enough injective objects.

Connection between ${{\mathcal{F}}}$ and ${{\ensuremath{\mathcal{F}_{quad}}}}$
==============================================================================

Recall that ${{\mathcal{F}}}$ is the category of functors from ${{\mathcal{E}}}^f$ to ${{\mathcal{E}}}$, where ${{\mathcal{E}}}^f$ is the full subcategory of ${{\mathcal{E}}}$ having as objects the finite dimensional spaces. The main result of this section is the following theorem.

\[3.1\] There is a functor $$\iota: {{\mathcal{F}}}\rightarrow {{\ensuremath{\mathcal{F}_{quad}}}}$$ which satisfies the following properties:

1.  $\iota$ is exact;

2.  $\iota$ preserves tensor products;

3.  $\iota$ is fully-faithful;

4.  if $S$ is a simple object of ${{\mathcal{F}}}$, $\iota(S)$ is a simple object of ${{\ensuremath{\mathcal{F}_{quad}}}}$.

To define the functor $\iota$ of the last theorem we need to define the forgetful functor $\epsilon: {{\ensuremath{\mathcal{T}_{q}}}}\rightarrow {{\mathcal{E}}}^f$ which can be viewed as an object of the category ${{\ensuremath{\mathcal{F}_{quad}}}}$, by composing with ${{\mathcal{E}}}^f
\hookrightarrow {{\mathcal{E}}}$.

The forgetful functor $\epsilon$ of ${{\ensuremath{\mathcal{F}_{quad}}}}$
-------------------------------------------------------------------------

### Definition

We denote by $\mathcal{O}: {{\ensuremath{\mathcal{E}_{q}}}}\rightarrow {{\mathcal{E}}}^f$ the functor which forgets the quadratic form.

There exists a functor $\epsilon: {{\ensuremath{\mathcal{T}_{q}}}}\rightarrow {{\mathcal{E}}}^f$ defined by $\epsilon(V)=\mathcal{O}(V)$ and $$\epsilon([V \xrightarrow{f} W \bot W' \xleftarrow{g} W ])=p_g \circ
\mathcal{O}(f)$$ where $p_g$ is the orthogonal projection from $W \bot W'$ to $W$.

The proof of this proposition relies on the following straightforward property of the pseudo push-out of ${{\ensuremath{\mathcal{E}_{q}}}}$.

For a pseudo push-out diagram in ${{\ensuremath{\mathcal{E}_{q}}}}$ $$\xymatrix{
  V \ar[d]_f  \ar[r]^g  & V \bot V'' \ar[d]^{l}\\
  V \bot V' \ar[r]_-{k}    & V \bot V' \bot V''}$$ we have the following relation in ${{\mathcal{E}}}^f$: $$\mathcal{O}(g) \circ p_f = p_l \circ \mathcal{O}(k)$$ where $p_f$ and $p_l$ are the orthogonal projections associated to, respectively, $f$ and $l$.

It is straightforward to check that the functor $\epsilon$ is well defined on the classes of morphisms of ${{\ensuremath{\mathcal{T}_{q}}}}$. To show that $\epsilon$ is a functor, we verify that $$\epsilon([V \xrightarrow{\mathrm{Id}} V \xleftarrow{\mathrm{Id}}
V])=\mathrm{Id}$$ and the relation for the composition is a direct consequence of the above lemma.

### The fullness of $\epsilon$

The aim of this section is to prove the following proposition:

The functor $\epsilon: {{\ensuremath{\mathcal{T}_{q}}}}\rightarrow {{\mathcal{E}}}^f$ is full.

Let $(V,q_V)$ and $(W,q_W)$ be two objects of ${{\ensuremath{\mathcal{T}_{q}}}}$ and $f \in
\mathrm{Hom}_{{{\mathcal{E}}}^f}(\epsilon(V,q_V), \epsilon (W,q_W))$ be a linear map from $V$ to $W$. We prove, by induction on the dimension of $V$, that there is a morphism in ${{\ensuremath{\mathcal{T}_{q}}}}$: $T= [ V \xrightarrow{\varphi} X=W \bot
Y \xleftarrow{i} W]$ such that $\epsilon(T)=f$. The proof is based on the idea that, for a sufficiently large space $X$, we can obtain all the linear maps.

As the quadratic space $V$ is non-degenerate, we know that it has even dimension.

To start the induction, let $(V,q_V)$ be a non-degenerate quadratic space of dimension two, with symplectic basis $\{ a,b \}$ and $f: V \rightarrow W$ be a linear map. We verify that the following linear map:

$$\begin{array}{cccl}
g_1: & V& \rightarrow & W \bot H_1 \bot H_0 \simeq W \bot
\mathrm{Vect(a_1,b_1)}  \bot \mathrm{Vect(a_0,b_0)}\\
       & a & \longmapsto & f(a)+(q(a)+q(f(a))) a_1+a_0\\
       & b & \longmapsto & f(b)+(q(b)+q(f(b))) a_1+ (1+B(f(a), f(b))) b_0
\end{array}$$ preserves the quadratic form. Consequently, the morphism: $$T=[ V \xrightarrow{g_1} W \bot H_1 \bot H_0 \hookleftarrow W]$$ is a morphism of ${{\ensuremath{\mathcal{T}_{q}}}}$ such that $\epsilon(T)=f$.

Let $V_n$ be a non-degenerate quadratic space of dimension $2n$, $\{a_1,
b_1, \ldots, a_n, b_n \}$ be a symplectic basis of $V_n$ and $f_n: V_n
\rightarrow W$ be a linear map. By induction, there exists a map :

$$\begin{array}{cccc}
g_n: & V_n& \rightarrow & W \bot Y\\
       & a_1 & \longmapsto & f(a_1)+y_1\\
       & b_1 & \longmapsto & f(b_1)+z_1\\
       & \ldots& & \ldots\\
       & a_n & \longmapsto & f(a_n)+y_n\\
       & b_n & \longmapsto & f(b_n)+z_n\\
\end{array}$$ where $y_i$ and $z_i$, for all integers $i$ between $1$ and $n$, are elements of $Y$, which preserves the quadratic form and such that: $$\epsilon([V_n \xrightarrow{g_n} W \bot Y \hookleftarrow W])=f_n.$$

Let $V_{n+1}$ be a non-degenerate quadratic space of dimension $2(n+1)$,\
$\{a_1,
b_1, \ldots, a_n, b_n, a_{n+1}, b_{n+1} \}$ a symplectic basis of $V_{n+1}$ and $f_{n+1}: V_{n+1} \rightarrow W$ a linear map. To define the map $g_{n+1}$, we will consider the restriction of $f_{n+1}$ over $V_n$ and extend the map $g_n$ given by the inductive assumption. For that, we need the following space: $E \simeq W \bot Y \bot H_0^{\bot n} \bot H_0^{\bot
  n} \bot H_1 \bot H_0$, for which we specify the notations for a basis: $$E \simeq  W \bot Y \bot ( \bot_{i=1}^n \mathrm{Vect}(a_0^i, b_0^i)) \bot ( \bot_{i=1}^n \mathrm{Vect}(A_0^i, B_0^i)) 
  \bot \mathrm{Vect}(A_1, B_1) \bot \mathrm{Vect}(C_0, D_0).$$ We verify that the following map: $$\begin{array}{ccl}
 V& \xrightarrow{g_{n+1}} & W \bot Y \bot H_0^{\bot n} \bot H_0^{\bot n} \bot H_1 \bot H_0\\
        a_1 & \longmapsto & f(a_1)+y_1+a_0^1\\
        b_1 & \longmapsto & f(b_1)+z_1+A_0^1\\
        \ldots& & \ldots\\
        a_i & \longmapsto & f(a_i)+y_i+a_0^i\\
        b_i & \longmapsto & f(b_i)+z_i+A_0^i\\
        \ldots& & \ldots\\
        a_n & \longmapsto & f(a_n)+y_n+a_0^n\\
        b_n & \longmapsto & f(b_n)+z_n+A_0^n\\
        a_{n+1} & \longmapsto &
       f(a_{n+1})+(q(a_{n+1})+q(f(a_{n+1})))A_1+C_0+\sum_{i=1}^n
       B(f(a_i),f(a_{n+1})) b_0^i\\
            &          &+\sum_{i=1}^n
       B(f(b_i),f(a_{n+1})) B_0^i\\
        b_{n+1} & \longmapsto &
       f(b_{n+1})+(q(b_{n+1})+q(f(b_{n+1})))A_1+(1+B(f(a_{n+1}),
       f(b_{n+1})))D_0\\   
            &          &+\sum_{i=1}^n
       B(f(a_i), f(b_{n+1})) b_0^i+\sum_{i=1}^n
       B(f(b_i),f(b_{n+1})) B_0^i       
\end{array}$$ preserves the quadratic form and we have $$\epsilon([V \xrightarrow{g_{n+1}} W \bot Y \bot H_0^{\bot n} \bot
 H_0^{\bot n} \bot H_1 \bot H_0\hookleftarrow W])=f$$ which completes the inductive step.

Proof of theorem \[3.1\]
------------------------

Theorem \[3.1\] is a consequence of a general result about functor categories which we recall in Proposition \[A2\] of the appendix. But, as the functor $\epsilon$ is not essentially surjective, we can not apply directly the proposition to the category ${{\mathcal{F}}}$. Consequently, we introduce a category ${{\mathcal{F}}}'$ equivalent to ${{\mathcal{F}}}$.

The category ${{\mathcal{E}}}^{f-(even)}$ is the full subcategory of ${{\mathcal{E}}}^f$ having as objects the ${{\mathbb{F}_2}}$-vector spaces of even dimension.

\[\] We denote by ${{\mathcal{F}}}'$ the category of functors from ${{\mathcal{E}}}^{f-(even)}$ to ${{\mathcal{E}}}$.

We have the following result:

\[3.8\] The categories ${{\mathcal{F}}}$ and ${{\mathcal{F}}}'$ are equivalent.

The proof of this proposition relies on the following standard lemma.

[@KuhnII] Let $n>0$ be a natural integer. Any idempotent linear map $e_{2n-1}: {{\mathbb{F}_2}}^{2n}
\rightarrow {{\mathbb{F}_2}}^{2n}$ of rank $2n-1$, verifies: $$P^{{{\mathcal{F}}}}_{{{\mathbb{F}_2}}^{2n-1}} \simeq P^{{{\mathcal{F}}}}_{{{\mathbb{F}_2}}^{2n}} \cdot e_{2n-1}$$ where $P^{{{\mathcal{F}}}}_{{{\mathbb{F}_2}}^{n}}(-)={{\mathbb{F}_2}}[\mathrm{Hom}_{{{\mathcal{E}}}^f}({{\mathbb{F}_2}}^{n}, -)]$ is the standard projective object of ${{\mathcal{F}}}$ given by the Yoneda lemma.

Let $V$ be an object of ${{\mathcal{E}}}^f$.

If the dimension of $V$ is even, $V$ is an object of ${{\mathcal{E}}}^{f-(even)}$.

If the dimension of $V$ is odd $\mathrm{dim}(V)=2n-1$, by the previous lemma, $P^{{{\mathcal{F}}}}_{{{\mathbb{F}_2}}^{2n-1}}$ is a direct summand of $P^{{{\mathcal{F}}}}_{{{\mathbb{F}_2}}^{2n}}$.

As the category ${{\mathcal{E}}}^{f-(even)}$ is a full subcategory of ${{\mathcal{E}}}^f$, we obtain by proposition \[A3\] of the appendix, the theorem.

The functor $\iota$ of theorem \[3.1\] is, by definition, the precomposition functor by the functor $\epsilon: {{\ensuremath{\mathcal{E}_{q}}}}\rightarrow
{{\mathcal{E}}}^f$. The two first points of the theorem are clear. As the objects of ${{\ensuremath{\mathcal{E}_{q}}}}$ are spaces of even dimension, the functor $\epsilon:{{\ensuremath{\mathcal{E}_{q}}}}\rightarrow {{\mathcal{E}}}^{f}$ factorizes through the inclusion $
{{\mathcal{E}}}^{f-(even)} \hookrightarrow {{\mathcal{E}}}^{f}$. This induces a functor $\epsilon': {{\ensuremath{\mathcal{E}_{q}}}}\rightarrow {{\mathcal{E}}}^{f-(even)}$ which is full and essentially surjective. We deduce from proposition \[A2\] that the functor $- \circ
\epsilon':{{\mathcal{F}}}' \rightarrow {{\ensuremath{\mathcal{F}_{quad}}}}$ is fully-faithful and, for a simple object $S$ of ${{\mathcal{F}}}'$, $S \circ \epsilon'$ is simple in ${{\ensuremath{\mathcal{F}_{quad}}}}$. The theorem follows from proposition \[3.8\].

Duality
-------

In this section, we prove that the duality defined over ${{\ensuremath{\mathcal{F}_{quad}}}}$ in \[2.14\] is an extension of the duality over ${{\mathcal{F}}}$, $D: {{\mathcal{F}}}^{op}
\rightarrow {{\mathcal{F}}}$, given by $DF=-^* \circ F \circ (-^*)^{op}$ for $F$ an object of ${{\mathcal{F}}}$ and $-^*$ the duality functor from ${{\mathcal{E}}}^{op}$ to ${{\mathcal{E}}}$.

We have the following commutative diagram, up to natural isomorphism $$\xymatrix{
   {{\mathcal{F}}}^{op} \ar[r]^{\iota^{op}} \ar[d]_{D} & {{\ensuremath{\mathcal{F}_{quad}}}}^{op} \ar[d]^{D} \\
   {{\mathcal{F}}}\ar[r]_{\iota} & {{\ensuremath{\mathcal{F}_{quad}}}}. }$$

This relies on the following commutative diagram: $$\xymatrix{
   {{\ensuremath{\mathcal{T}_{q}}}}^{op} \ar[r]^{\epsilon^{op}} \ar[d]_{tr} & ({{\mathcal{E}}}^f)^{op} \ar[d]^{-^*} \\
   {{\ensuremath{\mathcal{T}_{q}}}}\ar[r]_{\epsilon} & {{\mathcal{E}}}^f. }$$ The commutativity is a consequence of classical results of linear algebra about the duality of vector spaces and the fact that a non-singular bilinear form on a vector space $V$ determines a privileged isomorphism between $V$ and $V^*$.

The category ${{\ensuremath{\mathcal{F}_{iso}}}}$ 
==================================================

In this section, we define a subcategory ${{\ensuremath{\mathcal{F}_{iso}}}}$ of ${{\ensuremath{\mathcal{F}_{quad}}}}$ which is, by theorem \[4.7\], an abelian symmetric monoidal category with enough projective objects. The category ${{\ensuremath{\mathcal{F}_{iso}}}}$ is related to ${{\ensuremath{\mathcal{F}_{quad}}}}$ by the following theorem.

\[4.1\] There is a functor $$\kappa: {{\ensuremath{\mathcal{F}_{iso}}}}\rightarrow {{\ensuremath{\mathcal{F}_{quad}}}}$$ which satisfies the following properties:

1.  $\kappa$ is exact;

2.  $\kappa$ preserves tensor products;

3.  $\kappa$ is fully-faithful;

4.  if $S$ is a simple object of ${{\ensuremath{\mathcal{F}_{iso}}}}$, $\kappa(S)$ is a simple object of ${{\ensuremath{\mathcal{F}_{quad}}}}$.

We obtain a classification of the simple objects of ${{\ensuremath{\mathcal{F}_{iso}}}}$ from the following theorem.

\[4.2\] There is a natural equivalence $${{\ensuremath{\mathcal{F}_{iso}}}}\simeq \prod_{V \in \mathcal{S}} {{\mathbb{F}_2}}[O(V)]-mod$$ where $\mathcal{S}$ is a set of representatives of isometry classes of objects of ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$.

Definition of the category ${{\ensuremath{\mathcal{F}_{iso}}}}$
---------------------------------------------------------------

### The category $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$

Example \[2.3\] implies that the category $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ is defined. In this section, we give some properties of this category which are similar to those given for the category ${{\ensuremath{\mathcal{T}_{q}}}}$.

\[4.3\] The transposition functor, $tr: \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})^{op}
\rightarrow \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$, is defined on objects by $tr(V)=V$ and on morphisms by: $$\mathrm{tr}(f)=\mathrm{tr} (\lbrack  V \leftarrow X \rightarrow W
\rbrack)= \lbrack  W \leftarrow X \rightarrow V \rbrack,$$ for $f$ an element of $\mathrm{Hom}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})^{op}}(W,V)$.

\[4.5\] There exists a bifunctor $\bot: \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}}) \times \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}}) \rightarrow {{\ensuremath{\mathcal{S}_{q}}}}$, called the orthogonal sum, defined on objects by: $$\bot (V,W)=V \bot W$$ and on morphisms by: $$\bot (\lbrack V
\xleftarrow{f} X \xrightarrow{g} W \rbrack, \lbrack V'
\xleftarrow{f'} X' \xrightarrow{g'} W' \rbrack)=\lbrack V \bot V'
\xleftarrow{f \bot f'} X \bot X' \xrightarrow{g \bot g'} W \bot W'
\rbrack.$$ This bifunctor gives $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ the structure of a symmetric monoidal category, with unit $\{ 0 \}$.

### The category ${{\ensuremath{\mathcal{F}_{iso}}}}$

As the category $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ is essentially small, we can give the following definition.

The category ${{\ensuremath{\mathcal{F}_{iso}}}}$ is the category of functors from $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ to ${{\mathcal{E}}}$.

The category ${{\ensuremath{\mathcal{F}_{iso}}}}$ is equivalent to the category of Mackey functors from ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ to ${{\mathcal{E}}}$, by the paper [@lindner].

As for the category ${{\ensuremath{\mathcal{F}_{quad}}}}$, we obtain the following theorem.

\[4.7\]

1.  The category ${{\ensuremath{\mathcal{F}_{iso}}}}$ is abelian.

2.  The tensor product of vector spaces induces a structure of symmetric monoidal category on ${{\ensuremath{\mathcal{F}_{iso}}}}$.

3.  For an object $V$ of $\ \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$, the functor $Q_V={{\mathbb{F}_2}}\lbrack
    \mathrm{Hom}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})}(V,-) \rbrack $ is a projective object and there is a natural isomorphism: $$\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}}(Q_V, F) \simeq F(V)$$ for all objects $F$ of ${{\ensuremath{\mathcal{F}_{iso}}}}$.

    The set of functors $\{ Q_V | V \in \mathcal{S} \}$ is a set of projective generators of ${{\ensuremath{\mathcal{F}_{iso}}}}$, where $\mathcal{S}$ is a set of representatives of isometry classes of degenerate quadratic spaces. In particular, the category ${{\ensuremath{\mathcal{F}_{iso}}}}$ has enough projective objects.

The duality functor of ${{\ensuremath{\mathcal{F}_{iso}}}}$ is the functor $D: {{\ensuremath{\mathcal{F}_{iso}}}}^{op} \rightarrow
{{\ensuremath{\mathcal{F}_{iso}}}}$ given by: $$DF=-^* \circ F \circ tr^{op}$$ for $F$ an object of ${{\ensuremath{\mathcal{F}_{iso}}}}$, $-^*$ the duality functor from ${{\mathcal{E}}}^{op}$ to ${{\mathcal{E}}}$ and $tr$ is the transposition functor of $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ defined in \[4.3\].

The following proposition summarizes the basic properties of the duality functor $D$.

\[4.9\]

1.  The functor $D$ is exact.

2.  The functor $D$ is right adjoint to the functor $D^{op}$, i.e. we have a natural isomorphism: $$\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}}(F, DG) \simeq \mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}^{op}}(D^{op} F, G)\simeq \mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}}(G, DF).$$

3.  For $F$ an object of ${{\ensuremath{\mathcal{F}_{iso}}}}$ with values in finite dimensional vector spaces, the unit of the adjunction between ${{\ensuremath{\mathcal{F}_{iso}}}}$ and ${{\ensuremath{\mathcal{F}_{iso}}}}^{op}$: $F
    \rightarrow DD^{op}F$ is an isomorphism.

A straightforward consequence of the first point of the last proposition and theorem \[4.7\] is:

The category ${{\ensuremath{\mathcal{F}_{iso}}}}$ has enough injective objects.

An equivalent definition of ${{\ensuremath{\mathcal{F}_{iso}}}}$ 
-----------------------------------------------------------------

In order to apply proposition \[A2\] in the appendix to prove theorem \[4.1\], we will use the same strategy as for theorem \[3.1\]. In other words, we will introduce a category equivalent to ${{\ensuremath{\mathcal{F}_{iso}}}}$ such that $\kappa$ will be the precomposition functor by a full and essentially surjective functor. First, we give the following definition.

The category ${{\ensuremath{\mathcal{S}_{q}}}}$ is the full subcategory of $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ having as objects the non-degenerate quadratic spaces.

A morphism of ${{\ensuremath{\mathcal{S}_{q}}}}$ is represented by a diagram $V \xleftarrow{f} D
\xrightarrow{g} W$ where $V$ and $W$ are non-degenerate quadratic spaces and $D$ is a possibly degenerate quadratic space.

The transposition functor and the orthogonal sum defined in the previous section for the category $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ induce, by restriction, a transposition functor and an orthogonal sum for the category ${{\ensuremath{\mathcal{S}_{q}}}}$.

As the category ${{\ensuremath{\mathcal{S}_{q}}}}$ is, by definition, a full subcategory of the category $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$, we have the existence of a functor $\lambda'$ from ${{\ensuremath{\mathcal{F}_{iso}}}}$ to $\mathrm{Func}({{\ensuremath{\mathcal{S}_{q}}}}, {{\mathcal{E}}})$ induced by the inclusion ${{\ensuremath{\mathcal{S}_{q}}}}\hookrightarrow \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$. The aim of this section is to show that $\lambda'$ is an isomorphism.

\[4.13\] There exists a natural isomorphism: $${{\ensuremath{\mathcal{F}_{iso}}}}\simeq \mathrm{Func}({{\ensuremath{\mathcal{S}_{q}}}}, {{\mathcal{E}}})$$ where $\mathrm{Func}({{\ensuremath{\mathcal{S}_{q}}}}, {{\mathcal{E}}})$ is the category of functors from ${{\ensuremath{\mathcal{S}_{q}}}}$ to ${{\mathcal{E}}}$.

To prove the theorem, we require some results about the idempotents of the category $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$.

### The idempotents of $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$

We begin this section with the following notation.

Let $V$ be an object of ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$, $\alpha$ and $\beta$ be morphisms of $\mathrm{Hom}_{{{\mathcal{E}_{q}^{\mathrm{deg}}}}}(D,V)$. We denote by $f_{\alpha, \beta}$ the following morphism of $\mathrm{Hom}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})}(V,V)$: $$[V \xleftarrow{\alpha} D \xrightarrow{\beta} V].$$

\[lm\]

\[4.15\]

1.  An idempotent of $\mathrm{Hom}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})}(V,V)$ is of the form $$e_\alpha=[V \xleftarrow{\alpha} D \xrightarrow{\alpha} V]$$ where $\alpha$ is an element of $\mathrm{Hom}_{{{\mathcal{E}_{q}^{\mathrm{deg}}}}}(D,V)$, for some $D$.

2.  For $\alpha$ and $\beta$ two morphisms of ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ with range $V$, the idempotents $e_{\alpha}$ and $e_{\beta}$ commute.

3.  For $\alpha$ and $\beta$ two morphisms of ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ with range $V$, the elements $1+e_{\alpha}$ and $1+e_{\beta}$ are idempotents of ${{\mathbb{F}_2}}[\mathrm{Hom}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})}(V,V)]$ which commute.

By definition of $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$, $f_{\alpha, \beta} \circ f_{\alpha, \beta}=[V
\leftarrow D' \rightarrow V]$ where $D'$ is the pullback in ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ of the diagram $D \xrightarrow{\beta} V
\xleftarrow{\alpha} D$ and $f_{\alpha, \beta} \circ f_{\alpha,
  \beta}=f_{\alpha, \beta}$ if and only if there exists an isomorphism $g: D \rightarrow D'$ such that the following diagram is commutative: $$\xymatrix{
D \ar[rrrd]^{\beta} \ar[rd]^{\simeq}_{g} \ar[rddd]_{\alpha}\\
    &  D' \ar[r]^{g^{-1}} \ar[d]^{g^{-1}}& D \ar[r]_{\beta}
    \ar[d]^{\alpha}& V\\
    & D \ar[r]_{\beta} \ar[d]^{\alpha} & V\\
    &V
}$$ This implies that $\alpha =\beta$. Consequently $f_{\alpha, \beta} \circ f_{\alpha, \beta}=f_{\alpha, \beta}$ if and only if $f_{\alpha, \beta}= e_{\alpha}$.

The second point is straightforward and the last point is a direct consequence of the second one by a standard result about idempotents (noting that $-1=1$ in ${{\mathbb{F}_2}}$).

### Proof of theorem \[4.13\]

The proof of theorem \[4.13\] relies on the following crucial lemma.

\[4.16\] For $V$ an object of $\mathrm{Span}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ and $\alpha: A
\hookrightarrow V$ a subobject of $V$ in ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$, $$Q_V \cdot e_{\alpha} \simeq Q_A.$$

Let $\alpha_*: Q_A \rightarrow Q_V$ (respectively $\alpha^*: Q_V
\rightarrow Q_A$) be the morphism of ${{\ensuremath{\mathcal{F}_{iso}}}}$ which corresponds by the Yoneda lemma to the element $[V \xleftarrow{\alpha} A
\xrightarrow{\mathrm{Id}} A]$ of $Q_V(A)$ (respectively $[A \xleftarrow{\mathrm{Id}} A
\xrightarrow{\alpha} V]$ of $Q_A(V)$).

As $[V \xleftarrow{\alpha} A
\xrightarrow{\mathrm{Id}} A] \circ [A \xleftarrow{\mathrm{Id}} A
\xrightarrow{\alpha} V]=\mathrm{Id}$ we have $\alpha^* \circ \alpha_* =\mathrm{Id}$ and as $[A \xleftarrow{\mathrm{Id}} A
\xrightarrow{\alpha} V] \circ [V \xleftarrow{\alpha} A
\xrightarrow{\mathrm{Id}} A] =e_{\alpha}$ we have $\alpha_* \circ
\alpha^*=\cdot e_{\alpha}$.

Let $A$ be an object of $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$, there exists an object $V$ of ${{\ensuremath{\mathcal{S}_{q}}}}$ such that $A$ is a subobject of $V$. By the previous lemma, we deduce that $Q_A$ is a direct summand of $Q_V$. As the category ${{\ensuremath{\mathcal{S}_{q}}}}$ is a full subcategory of $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ we obtain, by proposition \[A3\] of the appendix, the theorem.

Relation between ${{\ensuremath{\mathcal{F}_{iso}}}}$ and ${{\ensuremath{\mathcal{F}_{quad}}}}$
-----------------------------------------------------------------------------------------------

The main result of this section is theorem \[4.1\], which gives the existence of an exact, fully-faithful functor $\kappa: {{\ensuremath{\mathcal{F}_{iso}}}}\rightarrow
{{\ensuremath{\mathcal{F}_{quad}}}}$ which preserves the simple objects. To define the functor $\kappa$ of this theorem we need to define and study the functor $\sigma: {{\ensuremath{\mathcal{T}_{q}}}}\rightarrow {{\ensuremath{\mathcal{S}_{q}}}}$.

### Definition of $\sigma: {{\ensuremath{\mathcal{T}_{q}}}}\rightarrow {{\ensuremath{\mathcal{S}_{q}}}}$

\[4.17\] There exists a monoidal functor $\sigma: {{\ensuremath{\mathcal{T}_{q}}}}\rightarrow {{\ensuremath{\mathcal{S}_{q}}}}$ defined by $\sigma(V)=V$ and $$\sigma (\lbrack V \rightarrow X \leftarrow W \rbrack)=\lbrack V
\leftarrow V \underset{X}{\times} W \rightarrow W\rbrack$$ where $V \underset{X}{\times} W$ is the pullback in ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$.

The proof of this proposition relies on the following important lemma.

\[4.18\] For $V$, $W$ and $X$ objects of ${{\ensuremath{\mathcal{E}_{q}}}}$ and $V \xrightarrow{f} W$, $V
\xrightarrow{g} X$ morphisms of ${{\ensuremath{\mathcal{E}_{q}}}}$, we have: $$X  \underset{X \underset{V}{\bot} W}{\times} W \simeq V$$ where $-  \underset{A}{\times} -$ is the pullback over $A$ in $\mathcal{E}_{q}^{\mathrm{deg}}$ and $-  \underset{B}{\bot} -$ is the pseudo push-out over $B$ in ${{\ensuremath{\mathcal{E}_{q}}}}$.

It is a straightforward consequence of the definitions of the pseudo push-out and the pullback.

The result of the previous lemma explains why we have imposed that the morphisms of the category ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$ are monomorphisms.

The functor $\sigma$ is well defined on the classes of morphisms of ${{\ensuremath{\mathcal{T}_{q}}}}$. To show that $\sigma$ is a functor, we verify that $$\sigma([V \xrightarrow{\mathrm{Id}} V \xleftarrow{\mathrm{Id}}
V])=\mathrm{Id}$$ and, that $\sigma$ respects composition, which is a direct consequence of the above lemma. Finally, the following consequence of the definition of the pullback and of the orthogonal sum:\
for $T_1 =\lbrack V_1 \rightarrow X_1 \leftarrow W_1
   \rbrack$ and $T_2 =\lbrack V_2 \rightarrow X_2 \leftarrow W_2
   \rbrack$, we have:

$$(V_1 \underset{X_1}{\times} W_1) \bot (V_2 \underset{X_2}{\times}
W_2) \simeq (V_1 \bot V_2) \underset{X_1 \bot X_2}{\times} (W_1 \bot
W_2)$$ implies that $\sigma$ preserves the monoidal structures.

### The fullness of $\sigma$

The aim of this section is to prove the following proposition.

\[4.20\] The functor $\sigma$ is full.

The proof of this proposition relies on the following technical lemma.

\[4.21\] Let $D$ be a degenerate quadratic space of dimension $r$ which has the following decomposition $$D=(x_1, \epsilon_1) \bot \ldots \bot (x_r,\epsilon_r)$$ where $\epsilon_i \in \{0,1 \} $, $H$ a non-degenerate quadratic space and $f$ an element of\
$\mathrm{Hom}_{{{\mathcal{E}_{q}^{\mathrm{deg}}}}}(D,H)$. Then there exists elements $k_1, \ldots ,k_r$ in $H$ and a non-degenerate quadratic space $H'$ such that $$H=\mathrm{Vect}(f(x_1),k_1)\bot \ldots \bot
\mathrm{Vect}(f(x_r),k_r)\bot H'$$ and $B(f(x_i),k_i)=1$ where $B$ is the underlying bilinear form.

We prove this lemma by induction on the dimension $r$ of the space $D$.

For $r=1$, we have $f: (x_1,\epsilon_1) \rightarrow H$ and $f(x_1)=h_1$. As $H$ is, by hypothesis, non-degenerate there exists an element $k_1$ in $H$ such that $B(h_1,
k_1)=1$. Then, the space $K=\mathrm{Vect}(h_1,k_1)$ is a non-degenerate subspace of $H$, so we have $H=K \bot K^{\bot}$, with $K^{\bot}$ non-degenerate.

Suppose that the result is true for $r=n$. Let $(x_1, \ldots, x_n,
x_{n+1})$ be linearly independent vectors and $f: (x_1,
\epsilon_1) \bot \ldots \bot (x_n,\epsilon_n) \bot (x_{n+1},
\epsilon_{n+1}) \rightarrow H$. By restriction, we have $$f \circ i:(x_1,
\epsilon_1) \bot \ldots \bot (x_n,\epsilon_n) \rightarrow H$$ and by the inductive assumption, we have the existence of $k_1,
 \ldots, k_n$ in $H$ such that: $$H=\mathrm{Vect}(f(x_1),k_1) \bot \ldots \mathrm{Vect} (f(x_n),k_n) \bot H'.$$

We decompose $f(x_{n+1})$ over this basis to obtain the following decomposition $$f(x_{n+1})=\Sigma_{i=1}^n (\alpha_i f(x_i)+\beta_i k_i)+h'$$ where $\alpha_i$ and $\beta_i$ are elements of ${{\mathbb{F}_2}}$ and $h'$ is an element of $H'$. As $f$ preserves the quadratic form and, consequently, the underlying bilinear form, we have $\beta_i=B(f(x_{n+1}),
f(x_i))=B(x_{n+1},x_i)=0$ for all $i$. Hence $$\label{5}
f(x_{n+1})=\Sigma_{i=1}^n \alpha_i f(x_i)+h'.$$

As the vectors $(f(x_1), \ldots, f(x_n),
f(x_{n+1}))$ are linearly independent, by the injectivity of $f$, we have $h' \ne 0$ and, as $H'$ is non-degenerate, there exists an element $k'$ in $H'$ such that $B(h',k')=1$. We deduce the following decomposition $H'=\mathrm{Vect}(h',k')
\bot H''$.

In the equality (\[5\]), after reordering, we can suppose that $$\alpha_1=\ldots =\alpha_p=1$$ and $$\alpha_{p+1}=\ldots =\alpha_n=0.$$

Then we have, $$B(f(x_{n+1}),k_i)=1 \ \mathrm{pour\ } i=1, \ldots, p$$ and $$B(f(x_{n+1}),k_i)=0 \ \mathrm{pour\ } i=p+1, \ldots, n.$$

Consequently, by the following decomposition of $H$ $$H=\bot_{i=1}^{p} \mathrm{Vect}(f(x_i),k_i +k') \bot_{j=p+1}^{n}
\mathrm{Vect}(f(x_{j}),k_{j}) \bot \mathrm{Vect}(f(x_{n+1}),k') \bot H''$$ we obtain the result.

We prove that, for a morphism $S =\lbrack V
   \xleftarrow{f} D  \xrightarrow{g} W  \rbrack$ of ${{\ensuremath{\mathcal{S}_{q}}}}$, there exists a morphism $T$ in $\mathrm{Hom}_{{{\ensuremath{\mathcal{T}_{q}}}}}(V,W)$ such that $\sigma (T)=S$.

First we decompose the morphism $S$ as an orthogonal sum of more simple morphisms. By theorem \[1.9\] we have $D \simeq H \bot \mathrm{Rad}(V)$ such that $H$ is non-degenerate and $\mathrm{Rad}(V)$ is isometric to either $(x,0)^{\bot r}$ or $(x,1)^{\bot r}$, where $r$ is the dimension of $\mathrm{Rad}(V)$. By the previous lemma, we can decompose the morphisms $f$ and $g$ in the following form: $$f:\ H \bot  \mathrm{Rad}(D) \rightarrow H \bot D' \bot V' \simeq
V$$ and $$g:\ H  \bot \mathrm{Rad}(D) \rightarrow H \bot D'' \bot W' \simeq
W$$ where $D'$ (respectively $D''$) is one of the non-degenerate spaces constructed in lemma \[4.21\] and $V'$ (respectively $W'$) is the orthogonal of $H \bot D'$ (respectively $H \bot D''$). We deduce that : $$S= \lbrack H \leftarrow H  \rightarrow H  \rbrack \bot \lbrack V'
\leftarrow 0  \rightarrow W' \rbrack \bot \lbrack D'
\leftarrow \mathrm{Rad}(D) \rightarrow D'' \rbrack.$$

Furthermore, again by theorem \[1.9\] $$\lbrack D'
\leftarrow \mathrm{Rad}(D) \rightarrow D'' \rbrack =\bot_{i}\lbrack
V_i \leftarrow (x_i, \epsilon_i) \rightarrow W_i \rbrack$$ where, by lemma \[4.21\], $V_i$ and $W_i$ are spaces of dimension two, therefore: $$S= \lbrack H \leftarrow H  \rightarrow H  \rbrack \bot \lbrack V'
\leftarrow 0  \rightarrow W' \rbrack \bot \lbrack V_1
\leftarrow (x_1,\epsilon_1) \rightarrow W_1 \rbrack \bot \ldots \bot \lbrack V_r
\leftarrow (x_r,\epsilon_r) \rightarrow W_r\rbrack.$$

According to proposition \[4.17\], it is enough to prove that for each morphism $S_{\alpha}$, which appears as a factor in the previous decomposition of $S$, there exists a morphism of ${{\ensuremath{\mathcal{T}_{q}}}}$, $T_{\alpha}$, such that $\sigma(T_{\alpha})=S_{\alpha}$.

Obviously, we have $$\sigma (\lbrack H \rightarrow H  \leftarrow H  \rbrack) = \lbrack H
\leftarrow H  \rightarrow H  \rbrack$$ and $$\sigma (\lbrack V \rightarrow V \bot W  \leftarrow W  \rbrack) = \lbrack V
\leftarrow 0  \rightarrow W  \rbrack.$$

For the morphisms $\lbrack V
\leftarrow (x, \epsilon) \rightarrow W \rbrack$, we have to consider several cases.

In the case $\epsilon =0$, as all the non-zero element $x$ of $H_1$ verify $q(x)=1$, we have $\mathrm{Hom}_{{{\ensuremath{\mathcal{E}_{q}}}}^{\mathrm{deg}}}((x,0),H_1)=
\emptyset$. Consequently, we have to consider only the following morphism: $$S_1=\lbrack H_0
\xleftarrow{f} (x,0)  \xrightarrow{g} H_0  \rbrack.$$

After composing by an element of $O^+_2=O(H_0)$, we can suppose that $f(x)=g(x)=a_0$. The morphism $$T_1=\lbrack H_0 \xrightarrow{f'} H_0 \bot H_0
\xleftarrow{g'} H_0  \rbrack$$ where, $f'$ is defined by: $$f'(a_0)=a_0\ \mathrm{and}\ f'(b_0)=b_0+a'_0$$ and $g'$ is defined by: $$g'(a_0)=a_0\ \mathrm{and}\ g'(b_0)=b_0+b'_0$$ satisfies $\sigma(T_1)=S_1$.\
$\ $

In the case $\epsilon =1$, we have to consider three kinds of morphisms.

For $$S_2=\lbrack H_0
\xleftarrow{f} (x,1)  \xrightarrow{g} H_0  \rbrack,$$ as only the element $a_0+b_0$ of $H_0$ verify $q(a_0+b_0)=1$, we have $f(x)=g(x)=a_0+b_0$. The morphism $$T_2=\lbrack H_0 \xrightarrow{f'} H_0 \bot H_0
\xleftarrow{g'} H_0  \rbrack$$ where, $f'$ is defined by: $$f'(a_0)=a_0+a'_0\ \mathrm{and}\ f'(b_0)=b_0+a'_0$$ and $g'$ is defined by: $$g'(a_0)=a_0+b'_0\ \mathrm{and}\ g'(b_0)=b_0+b'_0$$ satisfies $\sigma(T_2)=S_2$.\
$\ $

For $$S_3=\lbrack H_1
\xleftarrow{f} (x,1)  \xrightarrow{g} H_1  \rbrack,$$ after composing by an element of $O^-_2=O(H_1)$, we can suppose that $f(x)=g(x)=a_1$. The morphism $$T_3=\lbrack H_1 \xrightarrow{f'} H_1 \bot H_0
\xleftarrow{g'} H_1  \rbrack$$ where, $f'$ is defined by: $$f'(a_1)=a_1\ \mathrm{and}\ f'(b_1)=b_1+b_0$$ and $g'$ is defined by: $$g'(a_1)=a_1\ \mathrm{and}\ g'(b_1)=b_1+a_0$$ satisfies $\sigma(T_3)=C_3$.\
$\ $

For $$S_4=\lbrack H_0
\xleftarrow{f} (x,1)  \xrightarrow{g} H_1  \rbrack,$$ we have $f(x)=a_0+b_0$ and, after composing by an element of $O^-_2=O(H_1)$, we can suppose that $g(x)=a_1$. The morphism $$T_4=\lbrack H_0 \xrightarrow{f'} H_1 \bot H_0
\xleftarrow{g'} H_1  \rbrack$$ where, $f'$ is defined by: $$f'(a_0)=a_1+b_1+a_0+b_0\ \mathrm{et}\ f'(b_0)=b_1+a_0+b_0$$ and $g'$ is defined by: $$g'(a_1)=a_1\ \mathrm{et}\ g'(b_1)=b_1$$ satisfies $\sigma(T_4)=C_4$.

The final possibility results from the previous one by transposition.

### Proof of theorem \[4.1\]

The functor $\kappa$ of the theorem \[4.1\] is, by definition, the precomposition functor by $\sigma: {{\ensuremath{\mathcal{T}_{q}}}}\rightarrow {{\ensuremath{\mathcal{S}_{q}}}}$. The two first point of the theorem are clear. By the proposition \[4.17\] the functor $\sigma$ is full and, by definition, it is essentially surjective. So, the two last points of the theorem \[4.1\] are direct consequences of the proposition \[A2\] given in the appendix.

### Duality

We have the following commutative diagram, up to natural isomorphism $$\xymatrix{
   {{\ensuremath{\mathcal{F}_{iso}}}}^{op} \ar[r]^{\kappa^{op}} \ar[d]_{D} & {{\ensuremath{\mathcal{F}_{quad}}}}^{op} \ar[d]^{D} \\
   {{\ensuremath{\mathcal{F}_{iso}}}}\ar[r]_{\kappa} & {{\ensuremath{\mathcal{F}_{quad}}}}. }$$

This relies on the following commutative diagram: $$\xymatrix{
   {{\ensuremath{\mathcal{T}_{q}}}}^{op} \ar[r]^-{\sigma^{op}} \ar[d]_{tr} & (\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}}))^{op} \ar[d]^{tr} \\
   {{\ensuremath{\mathcal{T}_{q}}}}\ar[r]_-{\sigma} & \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}}) }$$ which is a direct consequence of the definitions.

The isotropic functors
----------------------

In this section we are interested in an important family of functors of ${{\ensuremath{\mathcal{F}_{iso}}}}$ named the isotropic functors; the choice of terminology will be explained below. After giving the definition of these functors we prove that they are self-dual. We will show in the following sections that these functors give rise to a family of projective generators of the category ${{\ensuremath{\mathcal{F}_{iso}}}}$.

### Definition

Let $(\mathrm{Id}_V)^*$ be the element of $$DQ_V(V)=Q_V(V)^*=\mathrm{Hom}({{\mathbb{F}_2}}[\mathrm{End}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})}(V)],{{\mathbb{F}_2}})$$ defined by: $$(\mathrm{Id}_V)^*([\mathrm{Id}_V])=1 \quad \mathrm{and} \quad
(\mathrm{Id}_V)^*([f])=0 \mathrm{\ for\ all\ } f \ne \mathrm{Id}_V.$$ We denote by $a_V: Q_V \rightarrow DQ_V$ the morphism of ${{\ensuremath{\mathcal{F}_{iso}}}}$ which corresponds by the Yoneda lemma to the element $(\mathrm{Id}_V)^*$ of $DQ_V(V)$.

The isotropic functor $iso_V: \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})\rightarrow {{\mathcal{E}}}$ of ${{\ensuremath{\mathcal{F}_{iso}}}}$ is the image of $Q_V$ by the morphism $a_V$.

\[4.24\] We denote by $K_V$ the kernel of $a_V$. We have the following short exact sequence: $$0 \rightarrow K_V \rightarrow Q_V \xrightarrow{a_V} iso_V \rightarrow 0.$$

In the following lemma, we give, an explicit description of the vector spaces $K_V(W)$ and $iso_V(W)$, which are elementary consequences of the definition.

\[4.25\] For an object $W$ of $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$, we have that:

-   $K_V(W)$ is the subvector space of $Q_V(W)$ generated by the elements $[ V \leftarrow H \rightarrow W]$ where $H \not \simeq V$;

-   as a vector space, $iso_V(W)$ is isomorphic to the subspace of $Q_V(W)$ generated by the elements $[ V \xleftarrow{\mathrm{Id}} V \rightarrow W]$. Consequently $iso_V(W)$ has basis the set $\mathrm{Hom}_{{{\mathcal{E}_{q}^{\mathrm{deg}}}}}(V,W)$.

Observe that the isomorphism given in the second point is not natural.

The terminology “isotropic functor” was motivated by the first case considered by the author. For the quadratic space $(x,0)$, we have: $$iso_{(x,0)}(V) \simeq {{\mathbb{F}_2}}[I_V]$$ where $I_V=\{ v\in V \setminus \{0 \}|\ q(v)=0 \}$ is the isotropic cone of the quadratic space $V$.

### Self-duality

For simplicity, we will denote in this section, $D^{op}$ by $D$.

To begin we recall several definitions.

1.  A morphism $b: F \rightarrow DF$ is self-adjoint if $b=Db \circ
    \eta_F$, where $\eta_F: F \rightarrow
    D^2 F$ is the unit of the adjunction between $D$ and $D^{op}$.

2.  A functor $F$ is self-dual if there exists an isomorphism $$\gamma: F \xrightarrow{\simeq} DF$$ which is self-adjoint.

The main result of this section is the following proposition.

\[4.28\] The isotropic functors of ${{\ensuremath{\mathcal{F}_{quad}}}}$ are self-dual.

The proof of this proposition relies on the following lemma.

Let $F$ be a functor which takes finite dimensional values and $a: F
\rightarrow DF$ a self-adjoint morphism, then $im(a)$ is self-dual.

This lemma and its proof are direct consequences of lemma $1.2.4$ in [@piriou].

The morphism $a$ admits the following factorisation by $im(a)$ $$\xymatrix{
a:\ F \ar@{->>}[r]^-{p}&  im(a) \ar@{^{(}->}[r]^{j} & DF.
}$$ We deduce the existence of $\tilde{a}$ which makes the following diagram commutative $$\xymatrix{
0 \ar[r] & \mathrm{Ker}(a) \ar[r] \ar[d] & F \ar[r]^-{p}
\ar[d]^{\eta_F}&  im(a) \ar[r] \ar[d]^{\tilde{a}} & 0\\
0 \ar[r] & \mathrm{Ker}(Dj) \ar[r] & D^2F \ar[r]^-{Dj}& D (im(a)) \ar[r] & 0.
}$$ As $F$ has finite dimensional values, the unit of the adjunction $\eta_F: F
\rightarrow D^2F$ is an isomorphism. Consequently, by the following commutative diagram

$$\xymatrix{
F \ar@{->>}[r]^p \ar[d]^{\eta_F}_{\simeq} & im(a) \ar@{^{(}->}[r]^-{j}
\ar[d]^{\tilde{a}}&  DF  \ar@{=}[d]\\
D^2F \ar@{->>}[r]_-{Dj} & D(im(a)) \ar@{^{(}->}[r]_-{Dp}& DF }$$ we obtain that $\tilde{a}$ is an isomorphism.

If we dualize the first commutative diagram, we obtain: $$Dp \circ D\tilde{a} = D \eta_F \circ D^2 j.$$ So $$Dp \circ D\tilde{a} \circ \eta_{im(a)} \circ p = D \eta_F \circ D^2 j \circ
\eta_{im(a)} \circ p= j \circ p= a.$$ We have also $$Dp \circ \tilde{a} \circ p= Dp \circ Dj \circ \eta_F=Da \circ
\eta_F=a.$$ We deduce that $D\tilde{a} \circ \eta_{im(a)}=\tilde{a}$.

By the previous lemma, it is enough to prove that the morphism $a_V: Q_V \rightarrow DQ_V$ is self-dual. By the Yoneda lemma we have the following commutative diagram: $$\xymatrix{
\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}}(Q_V, DQ_W) \ar[r]^{f} \ar[d]_{\simeq} &
\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}}(Q_W, DQ_V) \ar[d]^{\simeq}\\
{{\mathbb{F}_2}}[\mathrm{Hom}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})}(W,V)]^* \ar[r]_{{{\mathbb{F}_2}}[tr]^*} &
{{\mathbb{F}_2}}[\mathrm{Hom}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})}(V,W)]^*}$$ where $tr: \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})^{op}
\rightarrow \mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ is the transposition functor defined in \[4.3\] and $f$ is the natural isomorphism given in proposition \[4.9\]. By definition, $a_V: Q_V \rightarrow DQ_V$ corresponds, by the Yoneda lemma, to the element $(\mathrm{Id}_V)^*$ of $DQ_V(V)$. Since $tr(\mathrm{Id}_V)=\mathrm{Id}_V$, we deduce that $a_V=Da_V \circ \eta_{Q_V}$.

Decomposition of the projective objects $Q_V$ of ${{\ensuremath{\mathcal{F}_{iso}}}}$
-------------------------------------------------------------------------------------

The aim of this section is to prove the following theorem.

\[4.31\] For $V$ an object of ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$, we have: $$Q_V \simeq \bigoplus_{
\begin{array}{c}
A \in \mathcal{S}_V
\end{array}}
 iso_A$$ where $\mathcal{S}_V$ is the set of subobjects of $V$ in ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$, represented by a morphism $\alpha: A \hookrightarrow V$.

The proof of this theorem relies on the following proposition.

\[4.32\] For an object $V$ of $\ {{\mathcal{E}_{q}^{\mathrm{deg}}}}$, the element $E_V$ of ${{\mathbb{F}_2}}[\mathrm{Hom}_{\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})}(V,V)]$ $$E_V = \prod_{
\begin{array}{c}
\alpha: A \hookrightarrow V\\
A \in \mathcal{S}_V \setminus V
\end{array}}
(1+e_{\alpha})$$ verifies:

1.  $E_V \cdot E_V=E_V$

2.  $Q_V \cdot E_V \simeq iso_V$. In particular $\mathrm{Hom}(iso_V,F)
    \simeq F(E_V) \cdot F(V).$

The first point is a direct consequence of proposition \[4.15\] $(3)$ and $(1)$.

For the second point, we consider the following split short exact sequence: $$0 \rightarrow Q_V \cdot (1+E_V) \rightarrow Q_V \rightarrow Q_V
\cdot E_V \rightarrow 0$$ and we recall that we have by notation \[4.24\] the following short exact sequence: $$0 \rightarrow K_V \rightarrow Q_V \xrightarrow{a_V} iso_V
\rightarrow 0.$$ By the $5$-lemma, to obtain the result, it is sufficient, to prove that: $$Q_V \cdot (1+E_V) \simeq K_V.$$ By expanding $1+E_V$, we obtain that $$1+E_V=\prod_{
\begin{array}{c}
\gamma: A \hookrightarrow V\\
A \in \mathcal{R}_V
\end{array}}
e_{\gamma}$$ where $\mathcal{R}_V$ is a subset of $\mathcal{S}_V \setminus
V$. Consequently $$Q_V \cdot (1+E_V) \subset \sum_{
\begin{array}{c}
\gamma: A \hookrightarrow V\\
A \in \mathcal{S}_V \setminus V
\end{array}}
Q_V \cdot e_{\gamma}=K_V$$ where the last equality is a direct consequence of lemma \[4.25\].

On the other side, for $\gamma: A \hookrightarrow V$ with $A \in
\mathcal{S}_V \setminus V$, we have $$(Q_V \cdot e_{\gamma}) \cdot E_V=Q_V \cdot e_{\gamma} \cdot
(1+e_{\gamma}) \prod_{
\begin{array}{c}
\alpha: A \hookrightarrow V\\
\alpha \neq \gamma\\
A \in \mathcal{S}_V \setminus V
\end{array}}
(1+e_{\alpha}) =0$$ where the first equality follows from proposition \[4.15\] $(3)$.

Consequently $Q_V \cdot e_{\gamma} \subset Q_V \cdot (1+E_V)$ and $$K_V = \sum_{
\begin{array}{c}
\gamma: A \hookrightarrow V\\
A \in \mathcal{S}_V \setminus V
\end{array}}
Q_V \cdot e_{\gamma} \subset Q_V \cdot (1+E_V).$$

We deduce that $$Q_V \cdot (1+E_V) \simeq K_V.$$

An important consequence of the previous proposition is given in the following corollary.

\[4.33\] For $V$ and $W$ objects of ${{\mathcal{E}_{q}^{\mathrm{deg}}}}$, we have: $$\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}}(iso_V, iso_W)
\simeq \left\lbrace
\begin{array}{cc}
{{\mathbb{F}_2}}[O(V)] &\mathrm{if\ } W \simeq V\\
0 & \mathrm{otherwise.}
\end{array}
\right.$$

By lemma \[4.25\] an element of $iso_W(V)$ is represented by a linear sum of $$[W \leftarrow W \xrightarrow{f} V].$$

-   [If $W \not \simeq V$.]{} We have $$(1+e_f)[W \leftarrow W \xrightarrow{f} V]=[W \leftarrow W
    \xrightarrow{f} V]+[W \leftarrow W \xrightarrow{f} V]=0$$ as the idempotents $(1+e_f)$ commute by proposition \[4.15\], we deduce that: $$\mathrm{Hom}(iso_V, iso_W)=iso_W(E_V)\  iso_W(V)=0$$ where the first equality is given by proposition \[4.32\] $(2)$.

-   [If $W \simeq V$.]{} For $\alpha: A \hookrightarrow V$ with $A \in \mathcal{S}_V \setminus
    V$ we have: $$e_{\alpha} [W \leftarrow W \rightarrow V]=[W \leftarrow A \rightarrow
    V] \in K_W(V).$$ So $iso_W(e_{\alpha})[W \leftarrow W \rightarrow V ]=0$ and $$\mathrm{Hom}(iso_V, iso_W)=iso_W(E_V)\ iso_W(V)=iso_W(V) \simeq \mathrm{Hom}_{{{\mathcal{E}_{q}^{\mathrm{deg}}}}}(W,V) \simeq
    {{\mathbb{F}_2}}[O(V)]$$ by lemma \[4.25\].

\[4.34\] For $\alpha: A \hookrightarrow V$ a subobject of $V$, the idempotent $E_{\alpha}$ defined by: $$E_{\alpha}=e_{\alpha} \sum_{
\begin{array}{c}
\beta: B \hookrightarrow A\\
B \in \mathcal{S}_A \setminus A
\end{array}}
(1+e_{\beta})$$ verifies $$Q_V \cdot E_{\alpha} \simeq iso_A.$$

By the proposition \[4.15\], $E_{\alpha}$ is clearly an idempotent. The result follows from proposition \[4.32\] and lemma \[4.16\].

By the proof of \[4.32\], there exists an exact sequence $$\bigoplus_{
\begin{array}{c}
\gamma: A \hookrightarrow V\\
A \in \mathcal{S}_V
\end{array}}
Q_V  \cdot e_{\gamma} \rightarrow Q_V \rightarrow iso_V \rightarrow 0$$ hence a complex $$\bigoplus_{
\begin{array}{c}
\gamma: A \hookrightarrow V\\
A \in \mathcal{S}_V
\end{array}}
iso_A  \rightarrow Q_V \rightarrow iso_V \rightarrow 0$$ by proposition \[4.34\]. We deduce from proposition \[4.15\] that the idempotents given in the proposition \[4.34\] are orthogonal. Consequently the map $$\bigoplus_{
\begin{array}{c}
\gamma: A \hookrightarrow V\\
A \in \mathcal{S}_V
\end{array}}
iso_A  \rightarrow Q_V$$ is injective. Furthermore, by lemma \[4.25\], for an object $X$ of $\mathrm{Sp}({{\mathcal{E}_{q}^{\mathrm{deg}}}})$ $$Q_V(X) \simeq iso_V(X) \oplus \Big( \bigoplus_{
\begin{array}{c}
\alpha: W \hookrightarrow V\\
W \in \mathcal{S}_V \setminus V
\end{array}} iso_W(X) \Big).$$ We deduce that the previous complex is a short exact sequence, which is split by proposition \[4.32\].

By theorem \[4.7\] and the self-duality of the isotropic functors given in proposition \[4.28\], we obtain the following corollary of theorem \[4.31\].

\[4.36\] The set of functors $\{ iso_V | V \in \mathcal{S} \}$ is a set of projective generators (resp. injective cogenerators) of ${{\ensuremath{\mathcal{F}_{iso}}}}$, where $\mathcal{S}$ is a set of representatives of isometry classes of possibly degenerate quadratic spaces.

Proof of theorem \[4.2\]
------------------------

In this section we prove the equivalence between the category ${{\ensuremath{\mathcal{F}_{iso}}}}$ and the product of categories of modules over the orthogonal groups.

In [@Popescu] we have the following result (Corollary $6.4$, p. 103).

For any abelian category ${{\mathcal{C}}}$ the following assertions are equivalent:

1.  The category ${{\mathcal{C}}}$ has arbitrary direct sums and $\{ P_i \}_{i \in I}$ is a set of projective generators of finite type of ${{\mathcal{C}}}$.

2.  The category ${{\mathcal{C}}}$ is equivalent to the subcategory $\mathrm{Func}^{add}(\mathcal{P}^{op}, \mathcal{A}b)$ of\
    $\mathrm{Func}(\mathcal{P}^{op}, \mathcal{A}b)$ having as objects the functors satisfying $F(f+g)=F(f)+F(g)$ where $f$ and $g$ are morphisms of $\mathrm{Hom}_{\mathcal{P}^{op}}(V,W)$ and $\mathcal{P}$ is the full subcategory of ${{\mathcal{C}}}$ having as objects $\{ P_i \ |\ i \in I \}$.

Let ${{\mathcal{C}}}$ be the category ${{\ensuremath{\mathcal{F}_{iso}}}}$. By corollary \[4.36\], the set of functors $\{ iso_V | V \in \mathcal{S} \}$ is a set of projective generators of ${{\ensuremath{\mathcal{F}_{iso}}}}$, where $\mathcal{S}$ is a set of representatives of isometry classes of degenerate quadratic spaces. By proposition \[4.32\] $(2)$ $iso_V$ is a direct summand of $Q_V$; as $Q_V$ is of finite type, we deduce that $iso_V$ is of finite type. Consequently, by the previous result we obtain that $${{\ensuremath{\mathcal{F}_{iso}}}}\simeq \mathrm{Func}^{add}(\mathcal{P}^{op}, \mathcal{A}b)$$ where $\mathcal{P}$ is the full subcategory of ${{\ensuremath{\mathcal{F}_{iso}}}}$ having as objects the isotropic functors. By corollary \[4.33\], $\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}} (iso_V, iso_W)=0$ if $V \not \simeq
W$. Consequently $$\mathrm{Func}^{add}(\mathcal{P}^{op}, \mathcal{A}b) \simeq \prod_{V \in
  O(V)} \mathrm{Func}^{add}(\mathcal{I}so_V^{op}, \mathcal{A}b)$$ where $\mathcal{I}so_V$ is the full subcategory of ${{\ensuremath{\mathcal{F}_{iso}}}}$ with one object, the functor $iso_V$. By corollary \[4.33\], $\mathrm{Hom}_{{{\ensuremath{\mathcal{F}_{iso}}}}} (iso_V, iso_V)={{\mathbb{F}_2}}[O(V)]$; we deduce that $${{\ensuremath{\mathcal{F}_{iso}}}}\simeq  \prod_{V \in \mathcal{S}} {{\mathbb{F}_2}}[O(V)]-mod.$$

Properties of the precomposition functor {#appendix}
========================================

In this appendix we list several results about functor categories. We have chosen to provide proofs since, even if these results are well-known, they are not easy to find in the literature.

We are interested in the following question:

Let ${{\mathcal{C}}}$ and ${{\mathcal{D}}}$ be two categories, ${{\mathcal{A}}}$ be an abelian category, $F: {{\mathcal{C}}}\rightarrow {{\mathcal{D}}}$ be a functor and $- \circ F: \mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})
\rightarrow \mathrm{Func}({{\mathcal{C}}}, {{\mathcal{A}}})$ be the precomposition functor, where $\mathrm{Func}({{\mathcal{C}}}, {{\mathcal{A}}})$ is the category of functors from ${{\mathcal{C}}}$ to ${{\mathcal{A}}}$.

When the functor $F$ has a property $\mathcal{P}$, what can we deduce for the precomposition functor?

Before giving three answers in the following propositions, we recall that, by [@gabriel], $\mathrm{Func}({{\mathcal{C}}}, {{\mathcal{A}}})$ and $\mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})$ are abelian categories as the category ${{\mathcal{A}}}$ is abelian. Furthermore, we remark that the precomposition functor is exact.

\[A1\] If $F$ is essentially surjective, then $- \circ F$ is faithful.

As the precomposition functor is exact, it is sufficient to prove that, if $H$ is an object of $\mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})$ such that $H \circ F=0$, then $H=0$. For an object $D$ of $\mathcal{D}$, there exists an object $C$ of $\mathcal{C}$ such that $F(C) \simeq D$ as $F$ is essentially surjective. So $$H(D) \simeq H(F(C)) =H \circ F(C)=0.$$

\[A2\] If $F$ is full and essentially surjective, then:

1.  the precomposition functor is fully-faithful;

2.  any subobject of an object in the image of the precomposition functor is isomorphic to an object in the image of the precomposition functor;

3.  the image by the precomposition functor of a simple functor of $\mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})$ is a simple functor of $\mathrm{Func}({{\mathcal{C}}}, {{\mathcal{A}}})$.

<!-- -->

1.  According to proposition \[A1\], the functor $- \circ F$ is faithful.

    For the fullness, we consider two objects $G$ and $H$ of $\mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})$ and $\alpha$ an element of $\mathrm{Hom}_{\mathrm{Func}({{\mathcal{C}}}, {{\mathcal{A}}})}(G \circ F, H \circ F)$. We want to prove that there exists a morphism $\beta$ of $\mathrm{Hom}_{\mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})}(G, H)$ such that $\beta \circ F
    =\alpha$.

    Let $D$ be an object of ${{\mathcal{D}}}$, as $F$ is essentially surjective, we can chose an object $C$ of ${{\mathcal{C}}}$ such that there exists an isomorphism: $$\phi: F(C) \rightarrow D.$$ We define an element $\beta(D)$ of $\mathrm{Hom}_{{{\mathcal{A}}}}(G(D), H(D))$ by the following composition $$G(D) \xrightarrow{G(\phi^{-1})} G \circ F(C) \xrightarrow{\alpha(C)}
    H \circ F(C) \xrightarrow{H(\phi)} H(D).$$ Now, we show that $\beta$ defines a natural transformation from $G$ to $H$.

    Let $f: D \rightarrow D'$ be an element of $\mathrm{Hom}_{{{\mathcal{D}}}}(D,D')$ and $\phi: F(C) \rightarrow D$ and $\phi': F(C') \rightarrow D'$ be the isomorphisms associated to the choices of $C$ and $C'$ by the essential surjectivity of $F$. As the functor $F$ is full, there exists an element $g$ of $\mathrm{Hom}_{{{\mathcal{C}}}}(C,C')$ such that $$\label{ann-eq1}
    F(g)=\phi'^{-1} \circ f \circ \phi.$$ Moreover, the following diagram is commutative $$\xymatrix{
    G(D) \ar[r]^{\beta(D)} \ar[d]_{G(\phi^{-1})}& H(D) \ar[d]^{H(\phi^{-1})} \\
    G\circ F(C) \ar[r]^{\alpha(C)} \ar[d]_{G \circ F(g)}& H \circ F(C)
    \ar[d]^{H\circ F(g)} \\
    G\circ F(C') \ar[r]^{\alpha(C')} \ar[d]_{G(\phi')}& H \circ F(C')
    \ar[d]^{H (\phi')} \\
    G(D') \ar[r]^{\beta(D')} & H(D')  \\
    }$$ because the higher square (respectively lower) commute by the definition of $\beta(D)$ (respectively $\beta(D')$) and the commutativity of the square in the center is a consequence of the naturality of $\alpha$. Since $$G(\phi') \circ G F(g) \circ G(\phi^{-1})=G(\phi' \circ  F(g) \circ \phi^{-1})=G(f)$$ and $$H(\phi') \circ H F(g) \circ H(\phi^{-1})=H(\phi' \circ  F(g) \circ
    \phi^{-1})=H(f)$$ where the first equalities rise from the functoriality of $G$ and $H$ and the second ones rise from the relation \[ann-eq1\], we deduce that $\beta$ is natural.

2.  Let $G$ be an object of $\mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})$ and $H$ be a subobject of $G \circ F$. As in the first point, for an object $D$ of ${{\mathcal{D}}}$, by the essential surjectivity of $F$, we can chose an object $C$ of ${{\mathcal{C}}}$ such that there exists an isomorphism: $$\phi: F(C) \rightarrow D.$$ We define an object of ${{\mathcal{A}}}$ by: $$K(D):=H(C).$$

    As in the first point, for $f: D \rightarrow D'$ a morphism of $\mathrm{Hom}_{{{\mathcal{D}}}}(D,D')$, we denote by $\phi: F(C) \rightarrow D$ and $\phi': F(C') \rightarrow D'$ the isomorphisms associated to the choices of $C$ and $C'$ by the essential surjectivity of $F$. Since the functor $F$ is full, there exists an element $g$ of $\mathrm{Hom}_{{{\mathcal{C}}}}(C,C')$ such that $$\label{ann-eq2}
    F(g)=\phi'^{-1} \circ f \circ \phi.$$ We define a morphism $$K(f): K(D) \rightarrow K(D')$$ by $K(f)=H(g)$. We obtain the following commutative diagram: $$\xymatrix{
    K(D) \ar@{=}[r] \ar[d]_{K(f)} & H(C) \ar@{^{(}->}[r] \ar[d]_{H(g)}& G
    \circ F(C) \ar[r]^{G(\phi)} \ar[d]_{G \circ F(g)} &
    G(D) \ar[d]_{G(f)}\\
    K(D') \ar@{=}[r]  & H(C') \ar@{^{(}->}[r] & G
    \circ F(C') \ar[r]^{G(\phi')} &
    G(D').
    }$$

    Since the horizontal arrows of the diagram are monomorphisms, the definition of $K(f)$ does not depend of the choice of the morphism $g$ in \[ann-eq2\]. The functor $K$, thus defined, satisfies $K \circ F \simeq H$. Moreover, we deduce from the commutativity of the above diagram that $K$ is a subfunctor of $G$.

3.  Let $S$ be a simple functor of $\mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})$ and $(- \circ F)(S)=S
    \circ F$ its image by $- \circ F$. Suppose that $S \circ F$ is not simple, so that there exists a proper subfunctor $H$ of $S \circ F$. By the proof of the point $(2)$, of the proposition, there exists a subfunctor $K$ of $S$ such that: $$H \simeq K \circ F.$$ Since $H$ is a proper subfunctor of $S \circ F$, $K$ is a proper subfunctor of $S$. This contradicts the simplicity of $S$.

The constructions used in the proposition are closely related to the left Kan extension. We have prefered to give an explicit proof rather than a slicker one using the Kan extension.

In the following proposition, we take $\mathcal{A}=Mod_A$ the category of right $A$-modules where $A$ is a commutative ring with unit. By the Yoneda lemma, we know that the functor $$P_X^{{{\mathcal{C}}}}: {{\mathcal{C}}}\xrightarrow{\mathrm{Hom}_{{{\mathcal{C}}}}(X,-)} \mathcal{E}ns
\xrightarrow{A[-]} Mod_A$$ is a projective object of $\mathrm{Func}({{\mathcal{C}}}, Mod_A)$, where $A[-]$ is the linearisation functor. We have, in this case, the following proposition.

\[A3\] If $F: {{\mathcal{C}}}\rightarrow {{\mathcal{D}}}$ is full and, for all objects $D$ of ${{\mathcal{D}}}$, there exists an object $C$ of ${{\mathcal{C}}}$ such that $P_D^{{{\mathcal{D}}}}$ is a direct summand of $P_{FC}^{{{\mathcal{D}}}}$ then:

1.  the precomposition functor $- \circ F$ is faithful;

2.  a morphism $\sigma$ of $\mathrm{Func}({{\mathcal{D}}},Mod_A)$ such that $(- \circ
    F)(\sigma)$ is an isomorphism, is an isomorphism;

3.  the categories $\mathrm{Func}({{\mathcal{D}}},Mod_A)$ and $\mathrm{Func}({{\mathcal{C}}},Mod_A)$ are equivalent.

<!-- -->

1.  As the precomposition functor is exact, it is sufficient to prove that, for $H$ an object of $\mathrm{Func}({{\mathcal{D}}}, {{\mathcal{A}}})$ such that $H \circ F=0$, $H=0$. Let $D$ be an object of ${{\mathcal{D}}}$, then $H(D)=Hom(P_D^{{{\mathcal{D}}}},H)$ by the Yoneda lemma. By hypothesis, this is a direct summand of $$Hom(P_{FC}^{{{\mathcal{D}}}},H) \simeq H \circ F(C)=0.$$ Consequently $H(D)=0$.

2.  Let $\sigma: F \rightarrow G$ be a morphism of $\mathrm{Func}({{\mathcal{D}}}, Mod_A)$. We have the following exact sequence: $$0 \rightarrow Ker(\sigma) \rightarrow F \xrightarrow{\sigma} G
    \rightarrow Coker(\sigma) \rightarrow 0.$$ As $(- \circ H)(\sigma)$ is an isomorphism, $Ker(\sigma)
    \circ H=0$ and $Coker(\sigma) \circ H =0$. Consequently, $Ker(\sigma)=Coker(\sigma)=0$ by the argument of the previous point. Hence, $\sigma$ is an isomorphism.

3.  By general results, the functor $(- \circ F): \mathrm{Func}({{\mathcal{D}}},Mod_A)
    \rightarrow \mathrm{Func}({{\mathcal{C}}},Mod_A)$ admits a right adjoint, given by Kan extension. We will denote by $(\tilde{-})$ this adjoint. We will prove that $(\tilde{-})$ and $(- \circ F)$ define an equivalence of categories.

    As $F$ is full, we have, for all objects $W$ of ${{\mathcal{C}}}$ $$P_{FC}^{{{\mathcal{D}}}}(FW)=A[Hom_{{{\mathcal{D}}}}(FC,FW)]=A[Hom_{{{\mathcal{C}}}}(C,W)]=P_C^{{{\mathcal{C}}}}(W).$$ It follows that $P_{FC}^{{{\mathcal{D}}}} \circ F=P_C^{{{\mathcal{C}}}}$. As $P_D^{{{\mathcal{D}}}} \circ F$ is a direct summand of $P_{FC}^{{{\mathcal{D}}}} \circ F$ by hypothesis, we deduce that $P_D^{{{\mathcal{D}}}} \circ F$ is a direct summand of $P_C^{{{\mathcal{D}}}}$ and hence projective. Consequently, $(\tilde{-})$ is an exact functor since $$\tilde{H}(D) \simeq \mathrm{Hom}(P_D^{{{\mathcal{D}}}}, \tilde{H}) \simeq
    \mathrm{Hom}(P_D^{{{\mathcal{D}}}} \circ F, H).$$

    Let $H$ be an object of $\mathrm{Func}({{\mathcal{C}}},Mod_A)$, then there is a sequence of isomorphisms: $$(- \circ F) \circ (\tilde{-})(H)=\tilde{H}(FZ) \simeq
    Hom(P_{FZ}^{{{\mathcal{D}}}} \circ F, H) \simeq Hom(P_Z^{{{\mathcal{C}}}},H) \simeq H(Z).$$ So, the counit of the adjunction $$\label{eq-ann-3}
    (- \circ F) \circ (\tilde{-}) \rightarrow Id$$ is an isomorphism.

    Consequently, the unit of the adjunction $$Id  \rightarrow  (\tilde{-}) \circ (- \circ F)$$ induces, by composition with $(- \circ F)$, an isomorphism $$(- \circ F)  \rightarrow (- \circ F) \circ (\tilde{-}) \circ (- \circ F).$$

    So, by the previous point of the proposition, the unit of the adjunction $ Id \rightarrow (\tilde{-})
    \circ (- \circ F)$ is an isomorphism.
