Morphism of schemes (source code)

= Morphism of schemes
{wiki=Morphism_of_schemes}

A morphism of schemes is a morphism of <locally ringed space>[locally ringed spaces]. On affine schemes it is contravariantly equivalent to a homomorphism of their coordinate rings.