Groupoid - Category Framework

Skip to content
Back to top
View this page
Edit this page

# Groupoid

class sage.categories.groupoid.Groupoid(G=None)

  Bases: `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

      sage: Groupoid(DihedralGroup(3))
      Groupoid with underlying set Dihedral group of order 6 as a permutation group

  Python

      >>> from sage.all import *
      >>> Groupoid(DihedralGroup(Integer(3)))
      Groupoid with underlying set Dihedral group of order 6 as a permutation group

  classmethod an_instance()

    Return an instance of this class.

    EXAMPLES:

    Sage

        sage: Groupoid.an_instance() # indirect doctest
        Groupoid with underlying set Symmetric group of order 8! as a permutation group

    Python

        >>> from sage.all import *
        >>> Groupoid.an_instance() # indirect doctest
        Groupoid with underlying set Symmetric group of order 8! as a permutation group

  super_categories()

    EXAMPLES:

    Sage

        sage: Groupoid(DihedralGroup(3)).super_categories()
        [Category of sets]

    Python

        >>> from sage.all import *
        >>> Groupoid(DihedralGroup(Integer(3))).super_categories()
        [Category of sets]