Definition 6.25.1. A ringed space is a pair $(X, \mathcal{O}_ X)$ consisting of a topological space $X$ and a sheaf of rings $\mathcal{O}_ X$ on $X$. A morphism of ringed spaces $(X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ is a pair consisting of a continuous map $f : X \to Y$ and an $f$-map of sheaves of rings $f^\sharp : \mathcal{O}_ Y \to \mathcal{O}_ X$.

There are also:

• 2 comment(s) on Section 6.25: Ringed spaces

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).