Schemes¶
- class sage.categories.schemes.Schemes(s=None)¶
Bases:
sage.categories.category.CategoryThe category of all schemes.
EXAMPLES:
sage: Schemes() Category of schemes
Schemescan also be used to construct the category of schemes over a given base:sage: Schemes(Spec(ZZ)) Category of schemes over Integer Ring sage: Schemes(ZZ) Category of schemes over Integer Ring
Todo
Make
Schemes()a singleton category (and removeSchemesfrom the workaround incategory_types.Category_over_base._test_category_over_bases()).This is currently incompatible with the dispatching below.
- super_categories()¶
EXAMPLES:
sage: Schemes().super_categories() [Category of sets]
- class sage.categories.schemes.Schemes_over_base(base, name=None)¶
Bases:
sage.categories.category_types.Category_over_baseThe category of schemes over a given base scheme.
EXAMPLES:
sage: Schemes(Spec(ZZ)) Category of schemes over Integer Ring
- base_scheme()¶
EXAMPLES:
sage: Schemes(Spec(ZZ)).base_scheme() Spectrum of Integer Ring
- super_categories()¶
EXAMPLES:
sage: Schemes(Spec(ZZ)).super_categories() [Category of schemes]