Séance de cours
Cette séance de cours s'inscrit dans l'adjonction entre le functeur « action libre » et le functeur oublié, reliant la catégorie des ensembles et celle des ensembles G. L'instructeur explique la composition des applications habituelles, la préservation de la composition et l'action des groupes sur les ensembles. La séance de cours couvre également la définition du functeur oublié, le concept de G-équivariance, et les transformations naturelles entre les functeurs. En outre, il explore la structure des ensembles G, la vérification de l'équivariance et l'importance des transformations naturelles dans la préservation des identités et des compositions.