nLab topologically ringed space

A topologically ringed space is a pair (X,𝒪 X)(X,\mathcal{O}_X) where XX is topological space and 𝒪 X\mathcal{O}_X is a sheaf of topological rings. Most often, e.g. in the standard theory of formal schemes, one has a sheaf of complete local rings.

The theory is very similar and generalizes the discrete case of the ringed spaces.

Created on February 12, 2010 at 16:53:10. See the history of this page for a list of all contributions to it.