Popis: |
In this paper, we define the functor category F quad associated to F 2 -vector spaces equipped with a quadratic form. We show the existence of a fully faithful, exact functor ι : F → F quad , 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 F iso of F quad , which is equivalent to the product of the categories of modules over the orthogonal groups; the inclusion is a fully faithful functor κ : F iso → F quad which preserves simple objects. |