Ê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 explore le concept de functeurs entre les catégories de functeurs et la question de savoir quand ils admettent les conjoints gauche et droit. L'instructeur discute des conditions sur les functeurs entre les catégories, l'induction des functeurs, et les propriétés des adjonctions, en mettant l'accent sur les extensions kan. La séance de cours se penche sur la relation entre les functeurs et les adjonctions, soulignant l'importance des transformations naturelles et des diagrammes de trajet.