Fork me on GitHub
Math for the people, by the people.

User login

groupoid

Synonym: 
magma
Type of Math Object: 
Definition
Major Section: 
Reference

Mathematics Subject Classification

20N02 no label found

Comments

Since some groupoids of the first kind are also groupoids of the second kind, and vice versa, I think it would be beneficial to have two articles, one about groupoid (binary operation) and one about groupoid (category). That way, people could link to the article they want. Right now, the word "groupoid" cannot be used in any article without immediately giving the intended definition.

Yeah, I'll split them up now.

apk

The remark about closure seems redundant. How could a set G fail to be closed under a binary operation on G? If, on the other hand, the intent is to define the relevant notion of closure, there ought to be some mention of the situation where it matters: a subset C of G is a subgroupoid of G if the restriction of the operation to CxC is a binary operation on C.

Subscribe to Comments for "groupoid"