Séances de cours associées à Paires de Quillen et équivalences de Quillen : foncteurs dérivés

Functeurs dérivés: Identité et Homotopie Catégories

Explore les functeurs dérivés dans les catégories de modèles, en se concentrant sur les catégories d'identité et d'homotopie.

Functeurs dérivés : deux lemmes techniques

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

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.

Équivalences

Explore les équivalences Quillen, en mettant l'accent sur la préservation des cofibrations et des cofibrations acycliques.

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.

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.

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.

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.

Catégories de modèles et théorie de l'homotopie: Functorial Connections

Couvre la relation entre les catégories de modèles et les catégories dhomotopie à travers des foncteurs préservant les propriétés structurelles.

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.

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.

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.

Introduction aux Functors dérivés: Functors dérivés gauche et droite

Introduit des foncteurs dérivés à gauche et à droite en algèbre homotopique, en soulignant leur unicité et en fournissant un exemple illustratif.

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.

Pourquoi les Quasicatégories?

Discute des avantages de la théorie de quasi-catégorie et des structures modèles.

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.

Construction de la catégorie homotopie

Explique la construction de la catégorie dhomotopie dune catégorie de modèle en utilisant le cofibrant et le remplacement de fibrant.

Catégories d'homotopie: Structures du modèle

Explore les catégories homotopiques dans les structures modèles, mettant l'accent sur les faibles équivalences et le Lemma de Whitehead.

Algèbre homotopique: la catégorie d'homotopie d'une catégorie modèle

Se concentre sur la preuve de la construction de la catégorie d'homotopie et de ses propriétés, y compris la préservation de la composition et de l'unicité des foncteurs.

Transformations naturelles en Algèbre

Explore les transformations naturelles de l'algèbre, définissant les functeurs et les isomorphismes.