Meanings (ES + gloss)
grupoide
A magma: a set with a total binary operation.
grupoide
A set with a partial binary operation that is associative and has identities and inverses.
[...] A category in which every morphism is an isomorphism is called a groupoid. This means that a group is a groupoid with only one object. [...]
Word forms