Example. Morphism of schemes [00CJ]

Let ,

The map between topological spaces is the constant map (to the zero ideal). It is trivially continous. The structure sheaf of at is and at empty sets its .

For the morphism of sheaves , give on by restricted to or if is empty.

TODO show its local