groupoid

English

Etymology

group +‎ -oid

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 identities and inverses.
   • 2013, Julia Goedecke, Category Theory‎^[1]:

     [...] 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. [...]

Translations

a magma

• Japanese: 亜群 (あぐん, agun)
• Spanish: grupoide m

a set with a partial binary operation...

• French: groupoïde m
• German: Gruppoid n
• Italian: gruppoide m
• Portuguese: grupoide m
• Spanish: grupoide m

Further reading

• groupoid on Wikipedia.Wikipedia