J-trivial semigroups¶
- class sage.categories.j_trivial_semigroups.JTrivialSemigroups(base_category)[source]¶
- Bases: - CategoryWithAxiom- extra_super_categories()[source]¶
- 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] - >>> from sage.all import * >>> Semigroups().JTrivial().extra_super_categories() [Category of l trivial semigroups, Category of r trivial semigroups]