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