RhymeZone: groupoid definitions

Definitions of groupoid:

noun: (algebra) A magma: a set with a total binary operation.
noun: (algebra and category theory) A set with a partial binary operation that is associative and has identities and inverses.

(Definitions from Wiktionary)