Séance de cours

Introduction à l'homotopie de gauche: la relation de l'homotopie dans une catégorie modèle

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 introduit le concept d'homotopie de gauche entre les morphismes, basé sur la construction d'un cylindre sur un espace topologique. Il montre que l'homotopie gauche est préservée sous post-composition par tout morphisme. La séance de cours explique la notion d'un bon cylindre et d'un très bon cylindre, illustrant ces concepts avec des exemples. Il couvre également lexistence de très bons cylindres, de faibles équivalences, et les propriétés de lhomotopie gauche dans une catégorie de modèle.

Source officielle

Proximité ontologique

Mathématiques

Topologie: Topologie algébrique

Concepts associés (32)

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.

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.

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.

Quasi-catégorie

En mathématiques, plus précisément en théorie des catégories, une quasi-catégorie est une généralisation de la notion de catégorie. L'étude de telles généralisations est connue sous le nom de théorie des catégories supérieures. Les quasi-catégories ont été introduites par et Vogt en 1973. André Joyal a fait beaucoup progresser l'étude des quasi-catégories en montrant qu’il existe un analogue pour les quasi-catégories de la plupart des notions de base de la théorie des catégories et même de certaines notions et théorèmes d’un niveau plus avancé.

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.

Afficher plus

Séances de cours associées (64)

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.

Homotopie de gauche comme une relation déquivalence: la relation dhomotopie dans une catégorie de modèle.

Explore la relation d'homotopie de gauche comme une relation d'équivalence 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.

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.

Catégorie du modèle : Définition et propriétés élémentaires

Couvre la définition et les propriétés dune catégorie de modèle, y compris les fibrations, les cofibrations, les équivalences faibles, et plus encore.

Afficher plus

Concepts associés (32)

Catégorie de modèles

Homotopy category

Théorie de l'homotopie

Quasi-catégorie

Théorie des catégories supérieures

Afficher plus