Ê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 couvre le concept d'extensions de droite dans la théorie des catégories d'infini, en explorant les définitions et les propriétés de ces extensions ainsi que des définitions équivalentes. Il s'inscrit dans les extensions Kan, leurs applications, et les défis rencontrés dans certains scénarios. La séance de cours traite également de la notion de définitions égales et de l'importance de comprendre l'interaction entre les différents concepts dans la théorie des catégories.