The AI-powered English dictionary
plural groupoids
(algebra) A magma: a set with a total binary operation. examples
(algebra and category theory) A set with a partial binary operation that is associative and has identities and inverses. quotations examples
[...] 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. [...]
2013, Julia Goedecke, Category Theory