Ê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 le concept de quasi-catégories comme une approche alternative à la définition des cartes et des catégories d'homotopie, par rapport aux catégories de modèles. L'instructeur passe en revue la progression du cours de la théorie des catégories de base aux structures de modèle, et maintenant aux quasi-catégories, expliquant comment les quasi-catégories peuvent également conduire à des cartes et des catégories homotopiques. La séance de cours est divisée en quatre parties, couvrant la définition des quasi-catégories, leur relation aux catégories de modèles et aux catégories simplement enrichies, la structure du modèle des quasi-catégories et les avantages de lutilisation des quasi-catégories sur les catégories de modèles.