J-trivial semigroups - Category Framework

Skip to content
Back to top
View this page
Edit this page

# 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]