Théorie des catégories d'ordre élevé

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, où l'on étudie les invariants algébriques des espaces, tels que leur ∞-groupoïde fondamental faible.

Texte : extrait de l'article Wikipédia « Théorie des catégories supérieures », sous licence CC BY-SA 4.0.