Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-20/1/a/solution

A morphism of schemes is a morphism of locally ringed spaces. Thus it consists of a continuous map and a homomorphism of sheaves of rings
such that, for every , the induced map on stalks
is a local homomorphism: it carries the maximal ideal of the source into the maximal ideal of the target. Equivalently, the inverse image of the target maximal ideal is the source maximal ideal. The locality condition on every stalk distinguishes a morphism of schemes from a general morphism of ringed spaces.

New to topics? Read the docs here!