Definition from Wiktionary, the free dictionary
groupoid (plural groupoids)
- (algebra) A magma: a set with a total binary operation.
- (algebra and category theory) A set with a partial binary operation that is associative and has inverses and identities.
- A groupoid is a category in which every morphism is an isomorphism.