Définition et types des foncteurs (foncteurs covariants, foncteurs contravariants)