Groupoid#
- class sage.categories.groupoid.Groupoid(G=None)#
Bases:
sage.categories.category.CategoryWithParameters
The category of groupoids, for a set (usually a group) \(G\).
FIXME:
Groupoid or Groupoids ?
definition and link with Wikipedia article 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
- classmethod an_instance()#
Returns an instance of this class.
EXAMPLES:
sage: Groupoid.an_instance() # indirect doctest Groupoid with underlying set Symmetric group of order 8! as a permutation group
- super_categories()#
EXAMPLES:
sage: Groupoid(DihedralGroup(3)).super_categories() [Category of sets]