J-trivial semigroups#
- class sage.categories.j_trivial_semigroups.JTrivialSemigroups(base_category)#
Bases:
CategoryWithAxiom
- extra_super_categories()#
Implement the fact that a \(J\)-trivial semigroup is \(L\) and \(R\)-trivial.
EXAMPLES:
sage: Semigroups().JTrivial().extra_super_categories() [Category of l trivial semigroups, Category of r trivial semigroups]