Schemes¶
-
sage.categories.schemes.
Schemes
¶ The category of all schemes.
EXAMPLES:
sage: Schemes() Category of schemes
Schemes
can 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 removeSchemes
from the workaround incategory_types.Category_over_base._test_category_over_bases()
).This is currently incompatible with the dispatching below.
-
sage.categories.schemes.
Schemes_over_base
¶ The category of schemes over a given base scheme.
EXAMPLES:
sage: Schemes(Spec(ZZ)) Category of schemes over Integer Ring