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 Boardman (de) et Vogt en 1973^[1]. 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é. Jacob Lurie a écrit un traité détaillé sur cette théorie en 2009^[2].

Les quasi-catégories sont des ensembles simpliciaux d’un type particulier. Comme les catégories ordinaires, elles contiennent des objets, les 0-simplexes de l'ensemble simplicial et des morphismes entre ces objets, les 1-simplexes. Mais contrairement aux catégories standard, la composition de deux morphismes n'est pas définie de manière unique. Tous les morphismes qui peuvent servir de composition entre deux morphismes donnés sont reliés entre eux par des morphismes inversibles d'ordre supérieur (2-simplexes considérés comme « homotopies »). Ces morphismes d'ordre supérieur peuvent également être composés, mais encore une fois la composition n'est bien définie qu'à des morphismes inversibles d’ordre encore plus élevé près, etc.

L'idée sous-jacente de la théorie des catégories supérieures (du moins lorsque les morphismes supérieurs sont inversibles) est de munir, contrairement à ce que l’on fait en théorie des catégories standard, l’ensemble des morphismes entre deux objets d’une structure d’espace topologique. Cela suggère qu'une catégorie supérieure devrait simplement être une catégorie topologiquement enrichie. Le modèle des quasi-catégories est toutefois mieux adapté aux applications que celui des catégories topologiquement enrichies, bien que Lurie ait prouvé que les deux ont des modèles naturels Quillen-équivalents (en).

Définition[modifier | modifier le code]

Par définition, une quasi-catégorie C est un ensemble simplicial satisfaisant les conditions internes de Kan : toute « corne de C » (application simpliciale de $\Lambda ^{k}[n]$ dans C avec $0<k<n$ ) possède un prolongement de $\Delta [n]$ dans C. (Voir Fibration de Kan (en) pour une définition des ensembles simpliciaux $\Delta [n]$ et $\Lambda ^{k}[n]$ .)

L'idée est que les 2-simplexes sont censés représenter des triangles commutatifs (au moins à homotopie près). Une application représente une paire composable. Ainsi, dans une quasi-catégorie, on ne peut pas définir de loi de composition sur les morphismes, puisqu’il existe différentes façons de composer les applications.

Il résulte de cette définition que $C^{\Delta [2]}\to C^{\Lambda ^{1}[2]}$ est une fibration de Kan triviale. En d'autres termes, bien que la loi de composition ne soit pas définie de manière unique, elle est unique à un choix contractile près.

La catégorie homotopique[modifier | modifier le code]

À toute quasi-catégorie C, on peut associer une catégorie usuelle hC, appelée la catégorie homotopique (en) de C. Les objets de la catégorie homotopique sont les sommets de C. Les morphismes sont donnés par les classes d'homotopie d'arêtes entre sommets. La composition est donnée en utilisant la condition de « remplissage de corne » pour n = 2.

Pour un ensemble simplicial général, il existe un foncteur $\tau _{1}$ de sSet dans Cat, appelé foncteur fondamental et, pour une quasi-catégorie C, la catégorie fondamentale et la catégorie homotopique sont identiques ; c'est-à-dire $\tau _{1}(C)=hC$ .

Exemples[modifier | modifier le code]

Le nerf d'une catégorie est une quasi-catégorie vérifiant la propriété supplémentaire que le remplissage de toute corne intérieure est unique. Inversement, une quasi-catégorie telle que tout corne intérieure possède un remplissage unique est isomorphe au nerf d’une catégorie. La catégorie homotopique du nerf de C est isomorphe à C.
Étant donné un espace topologique X, on définit son ensemble singulier S(X). C'est un ensemble simplicial également connu sous le nom ∞-groupoïde fondamental de X. S(X) est une quasi-catégorie dans laquelle chaque morphisme est inversible. La catégorie homotopique de S(X) est le groupoïde fondamental de X.
D’une façon plus générale, tout complexe de Kan (en) est un exemple de quasi-catégorie. Dans un complexe de Kan, les applications de toutes les cornes, pas uniquement celles des cornes intérieures, peuvent toutes être remplies, ce qui a pour conséquence que tous les morphismes d'un complexe de Kan sont inversibles. Les complexes de Kan sont donc analogues aux groupoïdes en ce sens que le nerf d'une catégorie est un complexe de Kan si et seulement si la catégorie est un groupoïde.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Quasi-category » (voir la liste des auteurs).

↑ (en) J. M. Boardman et R. M. Vogt, Homotopy Invariant Algebraic Structures on Topological Spaces, Springer-Verlag, coll. « Lecture Notes in Mathematics » (n^o 347), 1973 (DOI 10.1007/BFb0068547, MR 0420609).
↑ (en) Jacob Lurie, Higher Topos Theory, Princeton University Press, coll. « Annals of Mathematics Studies » (n^o 170), 2009, 925 p. (ISBN 978-0-691-14049-0, MR 2522659, arXiv math.CT/0608040, lire en ligne).

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

(en) André Joyal, « Quasi-categories and Kan complexes », J. Pure Appl. Algebr., vol. 175, n^o 1,‎ 2002, p. 207-222 (DOI 10.1016/S0022-4049(02)00135-4, MR 1935979)
(en) André Joyal et Myles Tierney, « Quasi-categories vs Segal spaces », dans Categories in Algebra, Geometry and Mathematical Physics, AMS, coll. « Contemp. Math. » (n^o 431), 2007, 277-326 p. (MR 2342834, arXiv math.AT/0607820)

Liens externes[modifier | modifier le code]

(en) Moritz Groth, A short course on infinity-categories [1]
(en) André Joyal, Notes on quasicategories [2]
(en) Joyal à Catlab : The theory of quasi-categories
(en) Workshop of homotopy theory of homotopy theories

Portail des mathématiques

[1] (en) J. M. Boardman et R. M. Vogt, Homotopy Invariant Algebraic Structures on Topological Spaces, Springer-Verlag, coll. « Lecture Notes in Mathematics » (n^o 347), 1973 (DOI 10.1007/BFb0068547, MR 0420609).

[2] (en) Jacob Lurie, Higher Topos Theory, Princeton University Press, coll. « Annals of Mathematics Studies » (n^o 170), 2009, 925 p. (ISBN 978-0-691-14049-0, MR 2522659, arXiv math.CT/0608040, lire en ligne).

[1]

[2]

v · m Théorie des catégories Abstract nonsense
Catégories	abélienne préabélienne pseudo-abélienne (en) additive préadditive (en) cartésienne complète concrète dérivée discrète duale exacte fermée fibrée (en) monoïdale monoïdale tressée *-autonome simpliciale triangulée
Catégories usuelles	Cat Rel Set Ord (en) Mon Grp Ab Ring k-Mod Top k-Vect (en) hTop (en) Met (en) Sch
Objets	Groupe (en) Groupoïde Monoïde initial/final injectif (en) exponentiel projectif Sous-objet (en)
Morphismes	Automorphisme Épimorphisme Endomorphisme Isomorphisme Monomorphisme morphisme nul Section
Foncteurs	Catégorie de foncteurs Distributeur Équivalence de catégories Isomorphisme de catégories Foncteur adjoint dérivé exact Ext Hom représentable d'oubli plein et fidèle Préfaisceau Transformation naturelle
Adjonctions	Adjonction ⊗-Hom Catégorie de Kleisli Monade
Limites	Égaliseur Extension de Kan Fin Limite inductive Limite projective Noyau Produit Produit fibré Réunion disjointe Somme Somme amalgamée
Opérations	Enveloppe de Karoubi Nerf Squelette Symétrisation
Outils	Diagramme Diagramme commutatif Équivalence de Morita Lemme des cinq Lemme du serpent Lemme de Yoneda Propriété universelle
Extensions et catégories supérieures	Catégorie enrichie 2-catégorie n-catégorie (en) Quasi-catégorie Site Topos