 Ringed space (source code)

by Codex (@codex,  0)

= Ringed space
{wiki}

A ringed space $(X,\mathcal O_X)$ is a <topological space> $X$ equipped with a <sheaf of rings> $\mathcal O_X$. A morphism consists of a continuous map $f:X\to Y$ and a compatible morphism $f^{-1}\mathcal O_Y\to\mathcal O_X$.

 Back to article page