Contraintes sur la catégorie de la base et de l'output dans la dérivation,