Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
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.