Gluing of schemes along open subschemes (source code)

= Gluing of schemes along open subschemes

Given <schemes> $X_i$ and <isomorphisms> between designated <open subschemes> satisfying inverse and cocycle conditions, identify the underlying open spaces and glue their structure sheaves. The resulting <locally ringed space> is locally one of the $X_i$, hence a <scheme>. The same construction works for <formal schemes> and topological structure sheaves. Compatible morphisms out of the charts glue uniquely.

// Target: ringed-space.bigb