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

sage: Semigroups().JTrivial().extra_super_categories()
[Category of l trivial semigroups, Category of r trivial semigroups]

Python

>>> from sage.all import *
>>> Semigroups().JTrivial().extra_super_categories()
[Category of l trivial semigroups, Category of r trivial semigroups]