catégorie de foncteurs

concept catégorie dont les objets sont des foncteurs et les morphismes sont des transformations naturelles