Modular abelian varieties#
- class sage.categories.modular_abelian_varieties.ModularAbelianVarieties(Y)[source]#
Bases:
Category_over_base
The category of modular abelian varieties over a given field.
EXAMPLES:
sage: ModularAbelianVarieties(QQ) Category of modular abelian varieties over Rational Field
ModularAbelianVarieties(QQ)
>>> from sage.all import * >>> ModularAbelianVarieties(QQ) Category of modular abelian varieties over Rational Field
- class Homsets(category, *args)[source]#
Bases:
HomsetsCategory
- class Endset(base_category)[source]#
Bases:
CategoryWithAxiom
- extra_super_categories()[source]#
Implement the fact that an endset of modular abelian variety is a ring.
EXAMPLES:
sage: ModularAbelianVarieties(QQ).Endsets().extra_super_categories() [Category of rings]
ModularAbelianVarieties(QQ).Endsets().extra_super_categories()
>>> from sage.all import * >>> ModularAbelianVarieties(QQ).Endsets().extra_super_categories() [Category of rings]