groupoid

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Etymology[edit]

group +‎ -oid

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 inverses and identities.
    A groupoid is a category in which every morphism is an isomorphism.

External links[edit]