Ê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 introduit le concept de transformations naturelles dans le contexte de la théorie des catégories, en se concentrant sur le functeur L. L'instructeur explique comment le functeur U oublie la structure algébrique d'un espace vectoriel, tandis que L le conserve. La séance de cours couvre la transformation naturelle n du functeur d'identité à la composition de U et L, l'illustrant avec des exemples et des propriétés de L. Diverses opérations telles que l'addition et la multiplication scalaire sont explorées au sein du functeur L, fournissant des informations sur les structures mathématiques sous-jacentes.