Категория функторов над многообразием универсальных алгебр

Доказывается, что категория функторов из категории с конечным числом объектов в многообразие универсальных алгебр эквивалентна некоторому многообразию универсальных алгебр.
Более подробно рассматривается категория функторов в категорию модулей и в связи с этим вводится понятие категорного кольца и устанавливаются некоторые свойства таких колец.