sage.categories.groups.
Groups
The category of (multiplicative) groups, i.e. monoids with inverses.
EXAMPLES:
sage: Groups() Category of groups sage: Groups().super_categories() [Category of monoids, Category of inverse unital magmas]
Groupoid
Hecke modules