Definition:Morphism of Schemes

Definition

Let $\struct {X, \OO_X}$ and $\struct {Y, \OO_Y}$ be schemes.

A morphism of schemes from $\struct {X, \OO_X}$ to $\struct {Y, \OO_Y}$ is a morphism of locally ringed spaces from $\struct {X, \OO_X}$ to $\struct {Y, \OO_Y}$.

Also see

• Definition:Scheme
• Definition:Category of Schemes

Sources

• 1977: Robin Hartshorne: Algebraic Geometry $\S \text{II}.2$ Definition