Théorie des catégories supérieures

Une catégorie ordinaire a des objets et des morphismes, appelés 1-morphismes dans le contexte de la théorie des catégories supérieures. Une 2-catégorie généralise cela en incluant également des 2-morphismes entre les 1-morphismes. On définit alors récursivement les n-morphismes entre (n − 1)-morphismes et les n -catégories.

De même que la catégorie dite Cat, qui est la catégorie des petites catégories et des foncteurs est en fait une 2-catégorie avec des transformations naturelles comme 2-morphismes, la catégorie n - Cat des (petites) n-catégories est en fait une (n + 1)-catégorie.

Une n -catégorie est définie par récurrence sur n par :

• Une 0-catégorie est un ensemble,
• Un (n + 1)-catégorie est une catégorie enrichie sur la catégorie n - Cat.

Ainsi, une 1-catégorie n'est qu'une catégorie (localement petite).

La structure monoïdale de Set est celle donnée par le produit cartésien comme tenseur et du singleton comme unité. En fait, toute catégorie avec des produits finis peut recevoir une structure monoïdale. La construction récursive de n-Cat fonctionne bien car si une catégorie C a des produits finis, la catégorie des catégories C -enrichies a aussi des produits finis.

Bien que ce concept soit trop strict pour certains objectifs, par exemple en théorie de l'homotopie, où les structures « faibles » apparaissent sous la forme de catégories supérieures[1], des groupoïdes d'homotopie supérieure cubiques strictes sont également apparus comme donnant une nouvelle base à la topologie algébrique.

Dans les n-categories faibles, les conditions d'associativité et d'identité ne sont plus strictes (c'est-à-dire qu'elles ne sont pas données par des égalités), mais sont satisfaites à un isomorphisme de niveau supérieur près. Un exemple en topologie est la composition des chemins, où les conditions d'identité et d'association ne tiennent que jusqu'à la reparamétrisation, et donc jusqu'à l'homotopie.

• Algèbre de dimension supérieure
• Abstract nonsense

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

• (en) Auteur inconnu, « Categorification », 1998.
• Tom Leinster, Higher Operads, Higher Categories, Cambridge University Press, 2004 (ISBN 0-521-53215-9, arXiv math.CT/0305049)
• (en) Auteur inconnu, « Homotopy theory of higher categories », 2010. Alternative PDF with hyperlinks)