Ê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 présente le concept de transformations naturelles dans la théorie des catégories à travers des exemples concrets. L'instructeur explique comment les transformations naturelles préservent la structure sous-jacente des objets et des foncteurs, illustrant avec des exemples de la théorie des groupes. La séance de cours couvre la définition des transformations naturelles, l'importance du naturel et les critères pour qu'une transformation soit considérée comme naturelle. L'instructeur discute également de l'application des transformations naturelles dans la définition de l'équivalence des catégories.