Sheaf gluing axiom (source code)

= Sheaf gluing axiom

The sheaf gluing axiom says that sections $s_i$ on an <open cover> $(U_i)$ that agree on every overlap $U_i\cap U_j$ glue to a unique section on $\bigcup_iU_i$.