Ê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 la distinction entre la structure et la propriété, explorant le domaine des functeurs oubliés et leur relation avec les catégories de functeurs. À travers divers exemples, l'instructeur illustre les concepts de transformations naturelles, d'adjonctions, et l'interaction entre les functeurs oubliés et les inclusions de sous-catégories. La discussion touche également à l'injectivité et à la surjectivité des functeurs oubliés, incitant le public à réfléchir aux propriétés de leurs functeurs oubliés préférés. La séance de cours se termine par une analyse des catégories de functeurs, éclairant la structure de Fun(D, C) et l'ensemble des transformations naturelles entre les functeurs.