Gruppoid (Kategorientheorie)
# Gruppoid (Kategorientheorie)

Im mathematischen Teilgebiet der Kategorientheorie ist ein Gruppoid eine kleine Kategorie, in der jeder Morphismus ein Isomorphismus ist.

## Definition

Ausführlich formuliert besteht ein Gruppoid also aus:

* Einer Menge $G_{0}$ aus Objekten;
* Für jedes Paar von Objekten $x,y\in G_{0}$ aus einer Menge $G(x,y)$ aus Morphismen (oder Pfeilen) von $x$ nach $y$. Anstatt $f\in G(x,y)$ schreibt man auch $f:x\rightarrow y$ (angelehnt an die übliche Notation für Funktionen)
* Für jedes Objekt $x$ ist ein ausgezeichnetes Element $\mathrm {id} _{x}\in G(x,x)$ gegeben;
* Für je drei Objekte $x,y,z\in G_{0}$ ist eine Abbildung $\mathrm {comp} _{x,y,z}:G(y,z)\times G(x,y)\rightarrow G(x,z):(g,f)\mapsto g\circ f$ gegeben, genannt Verkettung;
* Für je zwei Objekte $x,y\in G_{0}$ ist eine Funktion $\mathrm {inv} :G(x,y)\rightarrow G(y,x):f\mapsto f^{-1}$ gegeben, genannt Inversion.

Diese Strukturen müssen miteinander in folgender Weise verträglich sein:

* Für alle $f:x\to y,g:y\to z,h:z\to w$ gilt $(h\circ g)\circ f=h\circ (g\circ f)$ (Assoziativität);
* Für alle $f:x\to y$ gilt: $f\circ \mathrm {id} _{x}=f$ and $\mathrm {id} _{y}\circ f=f$ (Neutralelemente);
* Für alle $f:x\to y$ gilt: $f\circ f^{-1}=\mathrm {id} _{y}$ sowie $f^{-1}\circ f=\mathrm {id} _{x}$ (Inverse).

Die drei Verträglichkeitsbedingungen gleichen den Gruppenaxiomen. Das ist kein Zufall. Ein Gruppoid mit genau einem Objekt ist nichts anderes als eine Gruppe. In diesem Sinn stellt der Begriff Gruppoid also eine Verallgemeinerung des Begriffes Gruppe dar.

## Anwendung und Beispiele

* In der algebraischen Topologie wird das Fundamentalgruppoid zu einem topologischen Raum $X$ assoziiert. Die Objekte des Gruppoids sind die Punkte von $X$. Die Pfeile sind die Homotopie­klassen (relativ Anfangs- und Endpunkt) von stetigen Abbildung $f\colon [0,1]\longrightarrow X$, wobei der Anfangspunkt $f(0)$ die Quelle ist und der Endpunkt $f(1)$ das Ziel. Oft tragen Gruppoide zusätzliche Strukturen wie eine Topologie auf der Menge der Objekte und Pfeile.
* In der Loopquantengravitation finden Gruppoide bei der Beschreibung der Spin-Netzwerke Anwendung.
* In der Kristallographie werden Gruppoide zur Beschreibung der Symmetrie von polytypen Strukturen verwendet.
* Jede Gruppe ist ein Gruppoid mit einem Objekt und den Gruppenelementen als Pfeilen.
* Aus einer beliebigen kleinen Kategorie entsteht ein Gruppoid, wenn nur die Pfeile betrachtet werden, die Isomorphismen sind.
* Jede Äquivalenzrelation ist ein Gruppoid mit den Elementen der Trägermenge als Objekten, sodass zwischen zwei Objekten genau dann ein Morphismus existiert, falls sie äquivalent sind.
* In der algebraischen Geometrie werden häufig für eine algebraische Gruppe $G$ Gruppoide von $G$-Prinzipalbündeln betrachtet. Diese tauchen in der Definition des klassifizierenden Stacks einer algebraischen Gruppe auf.

## Eigenschaften

* Die Kategorie aller Gruppoide mit Funktoren als Morphismen ist eine Subkategorie von Cat, der Kategorie aller kleinen Kategorien.
