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

Ausführlich formuliert besteht ein Gruppoid also aus:^[1]

• Einer Menge aus Objekten;
• Für jedes Paar von Objekten aus einer Menge aus Morphismen (oder Pfeilen) von nach . Anstatt schreibt man auch (angelehnt an die übliche Notation für Funktionen)
• Für jedes Objekt ist ein ausgezeichnetes Element gegeben;
• Für je drei Objekte ist eine Abbildung gegeben, genannt Verkettung;
• Für je zwei Objekte ist eine Funktion gegeben, genannt Inversion.

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

• Für alle gilt (Assoziativität);
• Für alle gilt: and (Neutralelemente);
• Für alle gilt: sowie (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.

• In der algebraischen Topologie wird das Fundamentalgruppoid zu einem topologischen Raum assoziiert. Die Objekte des Gruppoids sind die Punkte von . Die Pfeile sind die Homotopie­klassen (relativ Anfangs- und Endpunkt) von stetigen Abbildung , wobei der Anfangspunkt die Quelle ist und der Endpunkt das Ziel. Oft tragen Gruppoide zusätzliche Strukturen wie eine Topologie auf der Menge der Objekte und Pfeile.^[2]

• 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 Gruppoide von -Prinzipalbündeln betrachtet. Diese tauchen in der Definition des klassifizierenden Stacks einer algebraischen Gruppe auf.

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

1. ↑ Alberto Ibort: An Introduction to Groups, Groupoids and Their Representations. CRC Press LLC, Milton 2019, ISBN 978-1-351-86957-7, S. 54. 
2. ↑ Edwin Henry Spanier: Algebraic topology. 1st corr. Springer ed Auflage. Springer-Verlag, New York 1966, ISBN 0-387-90646-0, S. 45.