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

Théorie des types d'homotopie

Dans cours

MATH-225: Topologie II - groupes fondamentaux

On étudie des notions de topologie générale: unions et quotients d'espaces topologiques; on approfondit les notions de revêtements et de groupe fondamental,et d'attachements de cellules et on démontre le Théorème de Seifert-van Kampen. Des exemples de surf ...

Description

Cette séance de cours introduit le concept de la théorie des types homotopiques, en se concentrant sur les équivalences et les espaces contractibles. Il couvre des exemples d'équivalences d'homotopie, de poussoirs et d'applications de la théorie des types d'homotopie. La séance de cours explore également la définition des versions et des chemins engendrés dans la théorie des types homotopiques.

Enseignant·e·s (2)

Jérôme Scherer

Dimitri Stelio Wyss

Source officielle

Concepts associés (30)

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.

Théorie des types homotopiques

vignette| Couverture de la Théorie des types homotopiques : Fondations univalentes des mathématiques. Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.

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 : .

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.

Théorie de l'homotopie stable

En mathématiques, la théorie de l'homotopie stable est une partie de la théorie de l'homotopie concernée par les structures et tous les phénomènes qui subsistent après suffisamment d'applications du foncteur de suspension. Un résultat fondateur a été le théorème de suspension de Freudenthal, qui stipule que, étant donné tout espace pointé , les groupes d'homotopie se stabilisent pour suffisamment grand. En particulier, les groupes d'homotopie des sphères se stabilisent pour .

Afficher plus

Séances de cours associées (32)

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.

Groupes fondamentaux

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Comprendre les propriétés de levage dans la théorie de l'homotopie

Se concentre sur les propriétés de levage dans la théorie de l'homotopie des complexes de chaînes.

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.

Théorie de l'homotopie des complexes de chaînes

Explore la théorie de l'homotopie des complexes de chaînes sur un champ, en se concentrant sur les propriétés de fermeture et la décomposition.

Afficher plus

Concepts associés (30)

Théorie de l'homotopie

Théorie des types homotopiques

Groupe d'homotopie

Homotopie

Théorie de l'homotopie stable

Afficher plus