Aperiodic semigroups¶
- class sage.categories.aperiodic_semigroups.AperiodicSemigroups(base_category)¶
Bases:
sage.categories.category_with_axiom.CategoryWithAxiom
- extra_super_categories()¶
Implement the fact that an aperiodic semigroup is \(H\)-trivial.
EXAMPLES:
sage: Semigroups().Aperiodic().extra_super_categories() [Category of h trivial semigroups]