Finitely generated magmas

class sage.categories.finitely_generated_magmas.FinitelyGeneratedMagmas(base_category)

Bases: sage.categories.category_with_axiom.CategoryWithAxiom_singleton

The category of finitely generated (multiplicative) magmas.

See Magmas.SubcategoryMethods.FinitelyGeneratedAsMagma() for details.


sage: C = Magmas().FinitelyGeneratedAsMagma(); C
Category of finitely generated magmas
sage: C.super_categories()
[Category of magmas]
sage: sorted(C.axioms())
class ParentMethods

Bases: object


Return distinguished magma generators for self.

OUTPUT: a finite family

This method should be implemented by all finitely generated magmas.


sage: S = FiniteSemigroups().example()
sage: S.magma_generators()
Family ('a', 'b', 'c', 'd')