 Sheaf of topological rings

A sheaf of topological rings takes values in topological rings, with continuous restriction maps. For an open cover, the sheaf condition is an equalizer of the product of sections on the cover and the product on pairwise overlaps, in the category of topological rings. The structure sheaf of a formal scheme is an inverse limit of discrete structure sheaves with this topology.

// Target: algebra.bigb