  Let A be a finitely-generated commutative ring and k a noetherian commutative
ring. We show that, in the category of functors from finitely-generated
projective A-modules to k-modules, each finitely-generated polynomial functor
is noetherian and has a finitely-generated projective resolution.
