Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Functeurs dérivés : deux lemmes techniques

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 (32)

Homotopie

En mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique. L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.

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 .

N-connexité

Dans le domaine mathématique de la topologie algébrique et plus précisément en théorie de l'homotopie, la n-connexité est une généralisation de la connexité par arcs (cas n = 0) et de la connexité simple (cas n = 1) : un espace topologique est dit n-connexe si son homotopie est triviale jusqu'au degré n et une application continue est n-connexe si elle induit des isomorphismes en homotopie « presque » jusqu'au degré n. Pour tout entier naturel n, un espace X est dit n-connexe s'il est connexe par arcs et si ses n premiers groupes d'homotopie π(X) (0 < k ≤ n) sont triviaux.

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.

Quillen adjunction

In homotopy theory, a branch of mathematics, a Quillen adjunction between two C and D is a special kind of adjunction between that induces an adjunction between the Ho(C) and Ho(D) via the total derived functor construction. Quillen adjunctions are named in honor of the mathematician Daniel Quillen. Given two closed model categories C and D, a Quillen adjunction is a pair (F, G): C D of adjoint functors with F left adjoint to G such that F preserves cofibrations and trivial cofibrations or, equivalently by the closed model axioms, such that G preserves fibrations and trivial fibrations.

Afficher plus

Séances de cours associées (35)

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.

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.

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.

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.

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.

Afficher plus

Concepts associés (32)