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