Jump to content

groupoid

From Wiktionary, the free dictionary

English

[edit]

Etymology

[edit]

From group +‎ -oid.

Pronunciation

[edit]
  • Audio (US):(file)

Noun

[edit]

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

[edit]

Further reading

[edit]