Séance de cours

Modèles schématiques: Quasi-catégories et Groupes

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 introduit le concept de modèles schématiques, en mettant l'accent sur les quasi-catégories et les groupes. Il couvre la définition de complexes kan faibles, d'espaces Segal complets, et de catégories Segal enrichies en groupes. La séance de cours explore la relation entre les catégories et les quasi-catégories, soulignant l'importance des espaces Segal complets et des catégories Segal dans la modélisation des groupes.

Source officielle

Proximité ontologique

Mathématiques

Topologie: Topologie algébrique

Concepts associés (32)

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.

∞-groupoid

In , a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are fibrant objects in the category of simplicial sets (with the standard ). It is an generalization of a groupoid, a category in which every morphism is an isomorphism. The homotopy hypothesis states that ∞-groupoids are equivalent to spaces up to homotopy. Alexander Grothendieck suggested in Pursuing Stacks that there should be an extraordinarily simple model of ∞-groupoids using globular sets, originally called hemispherical complexes.

Catégorie groupoïde

En mathématiques, et plus particulièrement en théorie des catégories et en topologie algébrique, la notion de groupoïde généralise à la fois les notions de groupe, de relation d'équivalence sur un ensemble, et de l'action d'un groupe sur un ensemble. Elle a été initialement développée par Heinrich Brandt en 1927. Les groupoïdes sont souvent utilisés pour représenter certaines informations sur des objets topologiques ou géométriques comme les variétés. Un groupoïde est une petite catégorie dans laquelle tout morphisme est un isomorphisme.

Kan fibration

In mathematics, Kan complexes and Kan fibrations are part of the theory of simplicial sets. Kan fibrations are the fibrations of the standard structure on simplicial sets and are therefore of fundamental importance. Kan complexes are the fibrant objects in this model category. The name is in honor of Daniel Kan. For each n ≥ 0, recall that the , , is the representable simplicial set Applying the geometric realization functor to this simplicial set gives a space homeomorphic to the topological standard -simplex: the convex subspace of Rn+1 consisting of all points such that the coordinates are non-negative and sum to 1.

Afficher plus

Séances de cours associées (64)

Adjonction entre les ensembles simpliciaux et les catégories enrichies

Couvre l'adjonction entre les ensembles simpliciaux et les catégories enrichies en simpliciation, y compris la préservation des inclusions et la construction des catégories homotopiques.

Adjonctions et limites: explorer les functors et les co-limites

Couvre les adjonctions et les limites, en se concentrant sur les foncteurs, les co-limites et leurs applications dans la théorie des catégories.

Objets simples et cosimpliciels : exemples et applications

Couvre les objets simpliciaux et cosimpliciaux en théorie des catégories avec des exemples pratiques.

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.

Groupes et Quasi-catégories cohérents d'homotopie

Couvre la caractérisation des fibrations kan triviales et l'importance des groupes homogènes cohérents.

Afficher plus

Concepts associés (32)

Quasi-catégorie

Théorie des catégories supérieures