Definition:Category of Schemes
Jump to navigation
Jump to search
Definition
The category of schemes is the category $\mathbf{Sch}$ with:
Objects: | schemes | |
Morphisms: | morphisms of schemes | |
Composition: | composition of morphisms of ringed spaces | |
Identity morphisms: | identity morphisms of ringed spaces |