Aperiodic semigroups

class sage.categories.aperiodic_semigroups.AperiodicSemigroups(base_category)

Bases: CategoryWithAxiom

extra_super_categories()

Implement the fact that an aperiodic semigroup is \(H\)-trivial.

EXAMPLES:

Sage

sage: Semigroups().Aperiodic().extra_super_categories()
[Category of h trivial semigroups]

Python

>>> from sage.all import *
>>> Semigroups().Aperiodic().extra_super_categories()
[Category of h trivial semigroups]