Sheaves as modules
Abstract
We revisit sheaves on locales by placing them in the context of the theory of quantale modules. The local homeomorphisms $p:X\to 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 maps of local homeomorphisms.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2007
- DOI:
- 10.48550/arXiv.0711.4401
- arXiv:
- arXiv:0711.4401
- Bibcode:
- 2007arXiv0711.4401R
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - General Topology;
- Mathematics - Rings and Algebras;
- 18F20 (Primary) 06D22;
- 06F07;
- 14F05;
- 18B25;
- 54B40 (Secondary)
- E-Print:
- 23 pages. Version 2 contains changes in structure in order to make the main results more explicit. Former section 4 has been eliminated. Added some material on matrix representations ($B$-sets), plus a proof that Hilbert modules with bases are locales (Lemma 3.14)