Groupoid¶
-
sage.categories.groupoid.
Groupoid
¶ 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