Abstract:
It is proved that the category of functors from a category with finitely many objects to a variety of universal algebras is itself equivalent to a variety of universal algebras.
A more detailed examination is made for the case of functors into a category of modules; this leads to the notion of a category ring, and some properties of such rings are established.