Ê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 des functeurs dans le contexte de la théorie des catégories, en mettant l'accent sur les functeurs d'identité et les functeurs oubliés. L'instructeur explique comment les functeurs d'identité préservent la structure des catégories, tandis que les functeurs oubliés « oublient » la structure sur les objets et les morphismes. Des exemples sont fournis pour illustrer comment les functeurs oubliés fonctionnent dans différentes catégories, telles que les groupes et les espaces vectoriels. La séance de cours met l'accent sur la préservation de la composition et des identités par les functeurs, mettant en évidence la relation entre les différentes catégories. De plus, la séance de cours discute de la façon dont certaines catégories sont des sous-catégories d'autres, montrant la nature hiérarchique de la théorie des catégories.