Definition

A ringed space is a pair that consists of

  1. A topological space
  2. A sheaf of rings on .

Note, the sheaf of rings is sometimes called the structure sheaf.

Morphisms

A morphism of ringed spaces

is a pair such that

  1. is continuous
  2. is a map of sheaf of rings on (i.e. a morphisms of sheaves).