Séance de cours

Functeurs dérivés : deux lemmes techniques

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

MATH-436: Topology V.a - Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous examples of model categories and their applications in ...

Description

Cette séance de cours se concentre sur deux lemmes techniques cruciaux pour prouver le théorème fondamental de l'algèbre homotopique. Le premier lemme établit l'équivalence homotopique de deux objets, tandis que le second lemme implique une paire de Quillen et des morphismes entre des objets cofibrants et fibrants. L'instructeur présente des preuves détaillées pour les deux lemmes, préparant le terrain pour la prochaine preuve du théorème fondamental.

Source officielle

Proximité ontologique

Mathématiques

Topologie: Topologie algébrique

Concepts associés (31)

Foncteur dérivé

En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.

Homotopical algebra

In mathematics, homotopical algebra is a collection of concepts comprising the nonabelian aspects of homological algebra, and possibly the aspects as special cases. The homotopical nomenclature stems from the fact that a common approach to such generalizations is via abstract homotopy theory, as in nonabelian algebraic topology, and in particular the theory of . This subject has received much attention in recent years due to new foundational work of Vladimir Voevodsky, Eric Friedlander, Andrei Suslin, and others resulting in the A1 homotopy theory for quasiprojective varieties over a field.

Homological algebra

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of modules and syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of .

Homotopy category

In mathematics, the homotopy category is a built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra.

Catégorie de modèles

En mathématiques, plus précisément en théorie de l'homotopie, une catégorie de modèles est une catégorie dotée de trois classes de morphismes, appelés équivalences faibles, fibrations et cofibrations, satisfaisant à certains axiomes. Ceux-ci sont abstraits du comportement homotopique des espaces topologiques et des complexes de chaînes. La théorie des catégories de modèles est une sous-branche de la théorie des catégories et a été introduite par Daniel Quillen en 1967 pour généraliser l'étude de l'homotopie aux catégories et ainsi avoir de nouveaux outils pour travailler avec l'homotopie dans les espaces topologiques.

Afficher plus

Séances de cours associées (64)

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.

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.

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.

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.

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.

Afficher plus

Concepts associés (31)