Groupoid

Eine Kategorie, in der jeder Morphismus invertierbar ist: Objekte bilden eine Klasse, Pfeile zwischen Objekten werden assoziativ zusammengesetzt, jedes Objekt hat eine Identitätspfeil und jeder Pfeil besitzt ein zweiseitiges Inverses. Damit verallgemeinert ein Groupoid die Gruppe durch Zulassen mehrerer Objekte bei Erhalt lokaler gruppenartiger Symmetrie.