Definition. Morphism of ringed spaces [00AJ]

A morphism of ringed spaces and is a continous map , together with a morphism of sheaves

is the pushforward given by .