R-trivial semigroups

class sage.categories.r_trivial_semigroups.RTrivialSemigroups(base_category)

Bases: sage.categories.category_with_axiom.CategoryWithAxiom

Commutative_extra_super_categories()

Implement the fact that a commutative \(R\)-trivial semigroup is \(J\)-trivial.

EXAMPLES:

sage: Semigroups().RTrivial().Commutative_extra_super_categories()
[Category of j trivial semigroups]

extra_super_categories()

Implement the fact that a \(R\)-trivial semigroup is \(H\)-trivial.

EXAMPLES:

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