groupoidとは 意味・読み方・使い方

発音

• IPA: /ˈɡɹuːpɔɪd/

名詞

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‎:

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

派生語

Further reading

• groupoid on Wikipedia.Wikipedia