English

Noun

groupoid ‎(plural groupoids)

1. (algebra) A magma: a set with a total binary operation.
2. (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.

External links

• groupoid on Wikipedia.Wikipedia