Ê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 la construction de quasi-catégories à partir de catégories enrichies de Kan à travers trois étapes principales: définir des catégories simplifiées enrichies, construire le foncteur nerveux simplicial, et prouver le résultat. L'instructeur explique le processus à l'aide d'exemples de structures simpliciales et montre comment prouver le théorème principal en analysant des cas de faible dimension.