Resende, PedroRodrigues, Elias2022-02-242022-02-242008Resende, P., & Rodrigues, E. (2010). Sheaves as modules. Applied Categorical Structures, 18(2), 199-217. https://doi.org/10.1007/s10485-008-9131-xhttp://hdl.handle.net/10400.13/4106We revisit sheaves on locales by placing them in the context of the theory of quantale modules. The local homeomorphisms p : X → B are identified with the Hilbert B-modules that are equipped with a natural notion of basis. The homomorphisms of these modules are necessarily adjointable, and the resulting self dual category yields a description of the equivalence between local homeomorphisms and sheaves whereby morphisms of sheaves arise as the “operator adjoints” of the inverse images of the maps of local homeomorphisms.engSheavesLocal homeomorphismsLocalesHilbert quantale modules.Faculdade de Ciências Exatas e da EngenhariaSheaves as modulesjournal article10.1007/s10485-008-9131-x