groupoid

groupoid

English

Etymology

    From group + -oid.

    Pronunciation

    • IPA(key): /ˈɡɹuːpɔɪd/
    • 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