Definition 2.72 . [00JC]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context ยท Original author HTML
Definition 2.72.
For any open subset of , let be the pre-sheaf of -algebras (with respect to the canonical topology) which assigns the limit
It is also a sheaf thanks to the compactness of special domains under canonical topology. This is called the structural sheaf of .