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

>>> from sage.all import *
>>> ModularAbelianVarieties(QQ)
Category of modular abelian varieties over Rational Field

ModularAbelianVarieties(QQ)
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]

>>> from sage.all import *
>>> ModularAbelianVarieties(QQ).Endsets().extra_super_categories()
[Category of rings]

ModularAbelianVarieties(QQ).Endsets().extra_super_categories()
base_field()[source]

EXAMPLES:

sage: ModularAbelianVarieties(QQ).base_field()
Rational Field

>>> from sage.all import *
>>> ModularAbelianVarieties(QQ).base_field()
Rational Field

ModularAbelianVarieties(QQ).base_field()
super_categories()[source]

EXAMPLES:

sage: ModularAbelianVarieties(QQ).super_categories()
[Category of sets]

>>> from sage.all import *
>>> ModularAbelianVarieties(QQ).super_categories()
[Category of sets]

ModularAbelianVarieties(QQ).super_categories()