# Nerf (théorie des catégories)

En mathématiques, et plus particulièrement en théorie des catégories, le nerf $N(C)$ d'une petite catégorie $C$ est un ensemble simplicial construit à partir des objets et des morphismes de $C$. La réalisation géométrique de cet ensemble simplicial est un espace topologique, appelé l'espace classifiant de la catégorie $C$. Ces objets étroitement liés peuvent fournir des informations sur certaines catégories familières et utiles à l'aide de la topologie algébrique, le plus souvent la théorie de l'homotopie.

## Motivation

Le nerf d'une catégorie est souvent utilisé pour construire des versions topologiques d'espaces de modules. Si $X$ est un objet de $C$, ses espaces de modules devrait d'une certaine manière encoder tous les objets isomorphes à $X$ et garder une trace des différents isomorphismes entre tous les objets de cette catégorie. Cela peut devenir assez compliqué, surtout si les objets ont beaucoup d'automorphismes différents de l'identité. Le nerf fournit une manière combinatoire d'organiser ces données. Depuis que les ensembles simpliciaux ont une bonne théorie de l'homotopie, on peut se poser des questions sur la signification des différents groupes d'homotopie $\pi _{n}(N(C))$. On espère que les réponses à ces questions fournissent des informations intéressantes à propos de la catégorie d'origine $C$, ou sur des catégories reliées.
La notion de nerf est une généralisation directe de la notion classique d'espace classifiant d'un groupe discret ; voir ci-dessous pour plus de détails.

## Construction

Soit $C$ une petite catégorie. Il y a un 0-simplexe de $N(C)$ pour chaque objet de $C$. Il y a un 1-simplexe pour chaque morphisme $f:x\to y$ dans $C$. Supposons que $f:x\to y$ et $g:y\to z$ sont des morphismes dans $C$. Alors il y a également leur composition $g\circ f:x\to z$.
Le diagramme suggère notre ligne de conduite : ajouter un 2-simplexe pour ce triangle commutatif. Tous les 2-simplexes de $N(C)$ proviennent d'une paire de morphismes composables de cette façon.
En général, $N(C)_{k}$ est composé des $k$-uplets de morphismes composables
    $A_{0}\to A_{1}\to A_{2}\to \cdots \to A_{k-1}\to A_{k}$
de $C$. Pour achever la définition de $N(C)$ comme un ensemble simplicial, on doit également spécifier les applications faces et dégénérescences. Elles sont aussi fournies par la structure de $C$ en tant que catégorie. Les applications faces
    $d_{i}\colon N(C)_{k}\to N(C)_{k-1}$
sont donnés par la composition des morphismes au $i$e objet (ou par le retrait de du $i$e objet de la suite, lorsque $i$ vaut $0$ ou $k$). Cela signifie que $d_{i}$ envoie le $k$-uplet
    $A_{0}\to \cdots \to A_{i-1}\to A_{i}\to A_{i+1}\to \cdots \to A_{k}$
sur le $(k-1)$-uplet
    $A_{0}\to \cdots \to A_{i-1}\to A_{i+1}\to \cdots \to A_{k}.$
C'est-à-dire, l'application $d_{i}$ compose les morphismes $A_{i-1}\to A_{i}$ et $A_{i}\to A_{i+1}$ en le morphisme $A_{i-1}\to A_{i+1}$, ce qui donne un $(k-1)$-uplet pour chaque $k$-uplet.
De même, les applications dégénérescences
    $s_{i}:N(C)_{k}\to N(C)_{k+1}$
sont données par l'insertion d'un morphisme identité à l'objet $A_{i}$.
Les ensembles simpliciaux peuvent également être considérées comme des foncteurs $\Delta ^{op}\to ~$Set, où $\Delta$ est la catégorie des ensembles finis totalement ordonnés et des morphismes préservant l'ordre. Chaque ensemble partiellement ordonné $P$ donne une (petite) catégorie $i(P)$ dont les objets sont les éléments de $P$ et avec un unique morphisme de $p$ à $q$ lorsque $p\leq q$ dans $P$. On obtient ainsi un foncteur $i$ de la catégorie $\Delta$ à la catégorie des petites catégories. Nous pouvons maintenant décrire le nerf de la catégorie $C$ comme étant le foncteur $\Delta ^{op}\to ~$Set
    $N(C)(?)=\mathrm {Fun} (i(?),C).$
Cette description du nerf rend la fonctorialité transparente ; par exemple, un foncteur entre deux petites catégories $C$ et $D$ induit une application d'ensembles simpliciaux $N(C)\to N(D)$. En outre, une transformation naturelle entre deux foncteurs induit une homotopie entre les applications induites. Cette observation peut être considérée comme le début du principe de la théorie des catégories supérieures. Il s'ensuit que des foncteurs adjoints induisent des équivalences d'homotopie. En particulier, si $C$ admet un objet initial ou final, son nerf est contractile.