Finitely generated magmas

sage.categories.finitely_generated_magmas.FinitelyGeneratedMagmas

The category of finitely generated (multiplicative) magmas.

See Magmas.SubcategoryMethods.FinitelyGeneratedAsMagma() for details.

EXAMPLES:

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