A groupoid is a category where all morphisms are invertible. This notion can also be seen as an extension of the notion of group. A motivating example is the fundamental groupoid of a topological space with respect to several base points, compared to the usual fundamental group.

history | excerpt history