Simpliciale verzameling

In de categorietheorie en homotopietheorie is een simpliciale verzameling een generalisatie van gerichte grafen. Formeel is een simpliciale verzameling een contravariante functor $\Delta \to \mathbf {Set}$. Hier is $\Delta$ de categorie met objecten ${\textstyle [n]=\{0,\dots ,n-1\}}$ en morfismen die de partiële ordening behouden en ${\textbf {Set}}$ de categorie van verzamelingen. In het bijzonder is de categorie waar de objecten simpliciële verzamelingen zijn, en de morfismen de natuurlijke transformaties een voorbeeld van een functorcategorie en van een topos.

Voorbeelden

Zenuw

Gegeven een kleine categorie ${\mathcal {C}}$ is de zenuw $N{\mathcal {C}}$ de simpliciale verzameling waar

• $N{\mathcal {C}}([0])={\text{Ob}}({\mathcal {C}})$, de objecten van ${\mathcal {C}}$.
• $N{\mathcal {C}}([1])={\text{Mor}}({\mathcal {C}})$, de morfismen van ${\mathcal {C}}$.
• $N{\mathcal {C}}([n])$ is de verzameling van ketens van $n$ samenstelbare morfismen in ${\mathcal {C}}$ voor $n\geq 2$.

Een equivalente definitie volgt door $[n]$ te beschouwen als de categorie met objecten $\{0,1,\dots ,n-1\}$ en een uniek morfisme $\ell \to m$ dan en als dan $\ell \leq m$, in dit geval is $N{\mathcal {C}}([n])$ de verzameling van functoren $[n]\to {\mathcal {C}}$.

Bronnen, noten en/of referenties