Séance de cours
Quasi-catégories et catégories d'homotopie
Description
Cette séance de cours présente le concept de quasi-catégories et explique comment une catégorie d'homotopie peut être construite à partir de celles-ci. Il couvre la définition des quasi-catégories, des objets, des morphismes, de la composition et des relations homotopiques. La séance de cours prouve également que la relation sur les morphismes dans une quasi-catégorie est une relation d'équivalence, et démontre l'existence de compositions et de leurs propriétés dans le contexte des catégories d'homotopie.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.