Sheaf of topological rings (source code)

= Sheaf of topological rings

= Sheaves of topological rings
{synonym}

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