Construction d'un functeur à action libre

Cette séance de cours couvre la construction du functeur d'action libre dans le contexte de la théorie de groupe et de la théorie de catégorie. Il explique le concept du functeur d'action G libre comme l'adjoint gauche du functeur oublié, fournissant des définitions et des propriétés liées aux actions de groupe. La séance de cours traite également de la multiplication des groupes, définissant G comme un ensemble G avec des actions spécifiques. Il s'inscrit dans la définition du functeur d'action libre dans divers scénarios, soulignant l'importance de comprendre les actions de groupe et leurs applications.