Ê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 commence par une discussion sur les objets fibreux, la levée des cornes, et la counité de l'adjonction entre quasi-catégories et complexes kan. Il traite ensuite de sujets tels que la généralisation des catégories et des complexes kan, prouvant que les n-simplices standard sont des quasi-catégories, et utilisant des quasi-catégories pour des groupes homogènes cohérents et des monoïdes.