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