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

De Simplicial Catégories à Quasicategories

Description

Cette séance de cours présente la construction de quasi-catégories à partir de catégories enrichies de Kan à travers trois étapes principales: définir des catégories simplifiées enrichies, construire le foncteur nerveux simplicial, et prouver le résultat. L'instructeur explique le processus à l'aide d'exemples de structures simpliciales et montre comment prouver le théorème principal en analysant des cas de faible dimension.

Source officielle

Proximité ontologique

Mathématiques

Topologie: Topologie algébrique

Concepts associés (32)

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.

Ensemble simplicial

En mathématiques, un ensemble simplicial X est un objet de nature combinatoire intervenant en topologie. Il est la donnée : d'une famille (X) d'ensembles, indexée par les entiers naturels, les éléments de X étant pensés comme des simplexes de dimension n et pour toute application croissanted'une application le tout tel que Autrement dit : X est un foncteur contravariant, de la catégorie simpliciale Δ dans la catégorie Set des ensembles, ou encore un foncteur covariant de la catégorie opposée Δ dans Set.

Foncteur adjoint

L'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».

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

Complexe simplicial

thumb|Exemple d'un complexe simplicial.En mathématiques, un complexe simplicial est un objet géométrique déterminé par une donnée combinatoire et permettant de décrire certains espaces topologiques en généralisant la notion de triangulation d'une surface. Un tel objet se présente comme un graphe avec des sommets reliés par des arêtes, sur lesquelles peuvent se rattacher des faces triangulaires, elles-mêmes bordant éventuellement des faces de dimension supérieure, etc.

Afficher plus

Séances de cours associées (34)

Objets simples et cosimpliciels : exemples et applications

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

Limites et colimites en tant qu'adjoints: chapitre 1, point c)

Explore la caractérisation des limites et des colimits en tant qu'adjoints dans la théorie des catégories.

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.

Introduction aux ensembles simpliciaux : Ensembles simpliciaux

Présente la catégorie des ensembles simpliciaux et explore le standard n-simplex comme exemple universel.

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.

Afficher plus

Concepts associés (32)

Théorie des catégories supérieures