Functeurs et auxiliairesExplore les functeurs entre les catégories et les conditions pour les articulations gauche et droite.
Functors orbitaux et fixesFormalise la construction des orbites et des points fixes dans les actions de groupe, en définissant les morphismes et en vérifiant le naturel.
Catégories et FunctorsExplore les catégories de construction à partir de graphiques et l'encodage de l'information par les functeurs.
