Reynolds operator on functors

Let be an affine R-monoid scheme. We prove that the category of dual functors (over the category of commutative R-algebras) of G-modules is equivalent to the category of dual functors of A^∗-modules. We prove that G is invariant exact if and only if A^∗=R×B^∗ as R-algebras and the first projection A^∗→R is the unit of A. If M is a dual functor of G-modules and w_G?(1,0)∈R×B^∗=A^∗, we prove that M^G=w_G⋅M and M=w_G⋅M⊕(1−w_G)⋅M; hence, the Reynolds operator can be defined on M.