“…In Definition 2.2 the requirement is that F is a presheaf over A , if F where a functor on A Theorem 2.1 would not hold. To remedy to this one needs to consider a functor (G, F ) to Split(R − Vect f ), the subcategory of R − Vect × R − Vect op as defined in [10], that we will simply denote as Split. Split is the category which objects are vector spaces and morphisms between two vector spaces V 1 , V 2 , are couples of linear transformations π :…”