Séances de cours associées à Homotopy category

Théorie de l'homotopie des complexes de chaînes

Explore la théorie de l'homotopie des complexes de chaîne, en se concentrant sur les rétractions et les structures de catégorie de modèle.

Paires de Quillen et équivalences de Quillen : foncteurs dérivés

Explore les paires de Quillen, les équivalences et les foncteurs dérivés en algèbre homotopique.

Introduction aux catégories de modèles

Explore les propriétés de levage et les catégories de modèles dans les espaces topologiques.

Théorie de l'homotopie des complexes de chaînes

Explore la théorie de l'homotopie des complexes de chaînes, en se concentrant sur les catégories de modèles, les équivalences faibles, et l'axiome de rétractation.

Transfert de structures modèles

Couvre le transfert de structures de modèles par des adjonctions dans le contexte des catégories de modèles.

Catégorie Homotopie et Functors dérivés

Explore la catégorie homotopie des complexes de chaînes et la relation entre les quasi-isomorphismes et les équivalences homotopiques de chaînes.

Propriétés élémentaires des catégories de modèles

Couvre les propriétés élémentaires des catégories de modèles, en mettant laccent sur la dualité entre les fibrations et les cofibrations.

Le lemme à tête blanche: équivalence d'homotopie dans les catégories de modèles

Explore le lemme de Whitehead, montrant quand un morphisme est une faible équivalence.

Structure du modèle Serre: Homotopie gauche et droite

Explore la structure du modèle Serre, en se concentrant sur les équivalences d'homotopie gauche et droite.

Functors dérivés dans l'algèbre homotopique

Couvre le théorème fondamental de l'algèbre homotopique, des paires de Quillen et des foncteurs dérivés.

Le théorème topologique de Künneth

Explore le théorème topologique de Künneth, mettant l'accent sur la commutativité et l'équivalence homotopique dans les complexes en chaîne.

Homotopie Catégorie d'une catégorie modèle

Introduit la catégorie d'homotopie d'une catégorie modèle avec des équivalences faibles inversées et des équivalences d'homotopie uniques.

Functeurs dérivés : deux lemmes techniques

Couvre deux lemmes techniques essentiels pour le théorème fondamental en algèbre homotopique.

Adjonction entre les ensembles simpliciaux et les catégories enrichies

Couvre l'adjonction entre les ensembles simpliciaux et les catégories enrichies en simpliciation, y compris la préservation des inclusions et la construction des catégories homotopiques.

Quasi-Catégories: Séance d'apprentissage actif

Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.

Existence de functors dérivés à gauche: Partie 2

Conclut la preuve de l'existence de foncteurs dérivés à gauche et discute des foncteurs dérivés à gauche et à droite.

CW Approximation Unicité

Explore le caractère unique de l'approximation CW et du théorème de Whitehead à travers la construction de cartes induisant des isomorphismes sur des groupes homotopiques.

Construction de couverture universelle

Présente le concept d'une construction de couverture universelle avec des exemples comme les anneaux hawaïens.

Groupes fondamentaux

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Caractérisation des fibres dans les complexes de chaînes

Explore la caractérisation des fibrations et des fibrations acycliques dans les complexes en chaîne.