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

Algèbre homotopique: Introduction

Description

Cette séance de cours présente le cours de maîtrise sur l'algèbre homotopique, en se concentrant sur l'organisation, le contenu du cours et l'approche d'apprentissage actif. Le cours explore le pouvoir de l'analogie en mathématiques pures, en mettant l'accent sur le concept d'homotopie et ses applications dans la classification des espaces topologiques.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Proximité ontologique

Mathématiques

Topologie: Topologie algébrique

Concepts associés (32)

Théorie de l'homotopie

La théorie de l'homotopie est une branche des mathématiques issue de la topologie algébrique dans laquelle les espaces et applications sont considérés à homotopie près. La notion topologique de déformation est étendue à des contextes algébriques notamment via les structures de complexe différentiel puis d’algèbre A. Étant donné deux équivalences d’homotopie f : X′ → X et g : Y → Y′, l’ensemble des classes d'homotopie des applications continues entre X et Y s’identifie à celui des applications entre X′ et Y′ par composition avec f et g.

Groupe d'homotopie

En mathématiques, et plus particulièrement en topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures. Il y a plusieurs définitions équivalentes possibles. Première définition Soit X un espace topologique et un point de X. Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension . Le i-ième groupe d'homotopie supérieur est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .

Théorie des catégories supérieures

En mathématiques, la théorie des catégories supérieures est la partie de la théorie des catégories à un ordre supérieur, ce qui signifie que certaines égalités sont remplacées par des flèches explicites afin de pouvoir étudier explicitement la structure derrière ces égalités. La théorie des catégories supérieures est souvent appliquée en topologie algébrique (en particulier en théorie de l'homotopie ), où l'on étudie les invariants algébriques des espaces, tels que leur ∞-groupoïde fondamental faible.

A¹ homotopy theory

In algebraic geometry and algebraic topology, branches of mathematics, A1 homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. The theory is due to Fabien Morel and Vladimir Voevodsky. The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1], which is not an algebraic variety, with the affine line A1, which is.

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.

Afficher plus

Séances de cours associées (46)

Théorie de l'homotopie: cylindres et objets de chemin

Couvre les cylindres, les objets de chemin et l'homotopie dans les catégories de modèles.

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.

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.

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.

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.

Afficher plus

Concepts associés (32)

Théorie de l'homotopie

Groupe d'homotopie

Théorie des catégories supérieures

A¹ homotopy theory

Homotopy category

Afficher plus