Isomorphisme dans les catégoriesCouvre le concept d'isomorphisme dans les catégories, définissant les morphismes avec des inverses et explorant les automorphismes et les groupoïdes.
Functors: DéfinitionIntroduit des functeurs dans la théorie de catégorie et explique leur composition.
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.
Functeurs et auxiliairesExplore les functeurs entre les catégories et les conditions pour les articulations gauche et droite.
