A groupoid is a category that has the essential features of a group: namely functors are associative,there is an identity transformation on it's objects and an inverse. A group is a groupoid with a single object in it. Any group is therefore a groupoid. The best introduction there is to the study of groupoids is Ronald Brown's classic Topology And Groupoids-which should be required reading for all mathematicians.
|
1 | [made Community Wiki] | ||
|
|
||||
