Elias Rodrigues

Learn More
We revisit sheaves on locales by placing them in the context of the theory of Hilbert quantale modules. The local homeomorphisms p : X → B are identified with the locales X that are Hilbert B-modules equipped with a natural notion of basis. These modules form a full subcategory B-HMB of the category of Hilbert B-modules where all the homomorphisms are(More)
  • 1