J-trivial semigroups¶
-
class
sage.categories.j_trivial_semigroups.
JTrivialSemigroups
(base_category)¶ Bases:
sage.categories.category_with_axiom.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]
-