A ringed space is a pair 
consisting of a topological space 
and a sheaf of rings 
on 
. The sheaf 
is called the structure sheaf
of the ringed space.
A morphism of ringed spaces 
consists of a continuous
map 
together with a compatible morphism 
of their structure
sheaves. A locally ringed space additionally
requires every stalk of its structure sheaf to be a local ring.
