Séances de cours associées à De (Modèle) Catégories à Quasicatégories

Objets simples et cosimpliciels : exemples et applications

Couvre les objets simpliciaux et cosimpliciaux en théorie des catégories avec des exemples pratiques.

Groupes et Quasi-catégories cohérents d'homotopie

Couvre la caractérisation des fibrations kan triviales et l'importance des groupes homogènes cohérents.

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.

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.

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.

Modèles schématiques: Quasi-catégories et Groupes

Couvre les modèles schématiques, en mettant l'accent sur les quasi-catégories et les groupes dans les catégories de modélisation.

Réalisation géométrique dans les catégories de modèles

Explore la réalisation géométrique, les ensembles simpliciaux et les structures de catégorie de modèles.

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.

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.

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.

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.

De Simplicial Catégories à Quasicategories

Introduit la construction de quasi-catégories à partir de catégories enrichies de Kan en définissant des catégories simplifiées et en construisant le foncteur nerveux simplicial.

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.

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.

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.

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.

Équivalences

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

Pourquoi les Quasicatégories?

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

Transformations naturelles en Algèbre

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