The functor category Fquad

In this paper, we define the functor category Fquad associated to vector spaces over the field with two elements, F\_2, equipped with a quadratic form. We show the existence of a fully-faithful, exact functor \iota: \F \to Fquad, which preserves simple objects, where \F is the category of functors from the category of finite dimensional F\_2-vector spaces to the category of all F\_2-vector spaces. We define the subcategory Fiso of Fquad, which is equivalent to the product of the categories of modules over the orthogonal groups; the inclusion is a fully-faithful functor \kappa: Fiso \to Fquad which preserves simple objects.