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