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 16:54:04 by Zoran Škoda (161.53.130.104)