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]