Ê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 les concepts de foncteurs dérivés gauche et droite en algèbre homotopique, inspirés par la notion de foncteurs dérivés en algèbre homologique. Linstructeur explique comment tout foncteur entre les catégories de modèle qui envoie de faibles équivalences aux isomorphismes induit à la fois les foncteurs dérivés à gauche et à droite. La séance de cours couvre la définition et les propriétés des foncteurs dérivés de gauche et de droite, soulignant leur unicité jusqu'à l'isomorphisme naturel unique. Un exemple est fourni pour illustrer que si un foncteur envoie de faibles équivalences aux isomorphismes, il admet à la fois les foncteurs dérivés de gauche et de droite, qui sont essentiellement les mêmes.