groupoid

English

Etymology

From group +‎ -oid.

Pronunciation

  • Audio (US):(file)

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

Derived terms

Translations

Further reading

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.