The category of groupoids, for a set (usually a group) \(G\).
- Groupoid or Groupoids ?
- definition and link with http://en.wikipedia.org/wiki/Groupoid
- Should Groupoid inherit from Category_over_base?
sage: Groupoid(DihedralGroup(3)) Groupoid with underlying set Dihedral group of order 6 as a permutation group
Returns an instance of this class.
sage: Groupoid.an_instance() # indirect doctest Groupoid with underlying set Symmetric group of order 8! as a permutation group
sage: Groupoid(DihedralGroup(3)).super_categories() [Category of sets]