Séance de cours

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

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.

Description

Cette séance de cours s'inscrit dans la théorie de l'homotopie des complexes de chaînes d'espaces vectoriels, en commençant par prouver l'incomplétude de la catégorie, en discutant de la propriété 2-out-of-3 pour des équivalences faibles, et en explorant l'axiome de rétractation. L'instructeur explore les conditions dans lesquelles une carte en chaîne admet toujours une rétractation et doublement, en se concentrant sur les catégories de modèles et les exercices d'échauffement. La séance de cours progresse pour discuter de la structure du modèle sur les complexes en chaîne, de la bicomplèteté des catégories, et de la construction des limites et des colimits dans le contexte des cartes en chaîne. Les concepts de quasi-isomorphismes, de cartes de chaînes de surjectifs et d'injectifs et l'unicité des charges dans les limites sont également couverts.

Source officielle

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.

Catégorie des ensembles

En mathématiques, plus précisément en théorie des catégories, la catégorie des ensembles, notée Set ou Ens, est la catégorie dont les objets sont les ensembles, et dont les morphismes sont les applications d'un ensemble dans un autre. Sa définition est motivée par le fait qu'en théorie des ensembles usuelle, il n'existe pas d'« ensemble de tous les ensembles », car l'existence d'un tel objet résulterait en une contradiction logique : le paradoxe de Russell.

Homotopy colimit and limit

In mathematics, especially in algebraic topology, the homotopy limit and colimitpg 52 are variants of the notions of and colimit extended to the homotopy category . The main idea is this: if we have a diagramconsidered as an object in the , (where the homotopy equivalence of diagrams is considered pointwise), then the homotopy limit and colimits then correspond to the and coconewhich are objects in the homotopy category , where is the category with one object and one morphism.

Dualité (mathématiques)

thumb|Dual d'un cube : un octaèdre. En mathématiques, le mot dualité a de nombreuses utilisations. Une dualité est définie à l'intérieur d'une famille d'objets mathématiques, c'est-à-dire qu'à tout objet de on associe un autre objet de . On dit que est le dual de et que est le primal de . Si (par = on peut sous-entendre des relations d'isomorphies complexes), on dit que est autodual. Dans de nombreux cas de dualité, le dual du dual est le primal. Ainsi, par exemple, le concept de complémentaire d'un ensemble pourrait être vu comme le premier des concepts de dualité.

C++

C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique. Ses bonnes performances, et sa compatibilité avec le C en font un des langages de programmation les plus utilisés dans les applications où la performance est critique. Créé initialement par Bjarne Stroustrup dans les années 1980, le langage C++ est aujourd'hui normalisé par l'ISO.

Afficher plus

Séances de cours associées (39)

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

Explore la théorie de l'homotopie des complexes de chaîne, en se concentrant sur les rétractions et les structures de catégorie de modèle.

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.

Transfert de structures modèles

Couvre le transfert de structures de modèles par des adjonctions dans le contexte des catégories de modèles.

Équations quantiques Langevines

Couvre la dérivation des équations quantiques Langevin et le formalisme entrée-sortie dans les systèmes quantiques ouverts.

Modèles acycliques: Produit de coupe et Cohomologie

Couvre le produit de la tasse sur la cohomologie, les modèles acycliques et le théorème universel des coefficients.

Afficher plus

Concepts associés (32)

Catégorie de modèles

Catégorie des ensembles

Homotopy colimit and limit

Dualité (mathématiques)

C++

Afficher plus