Groupoid

The term groupoid has two different meanings in mathematics. The meanings are unrelated except for the fact that both are generalizations of the concept of a group.

1). In category theory, a groupoid is a category in which every morphism is invertible.

2). A groupoid is a set with a binary operation on it. Particular types of groupoid include semigroups, monoids, groups and quasigroups.