Sheaves as modules (Q969690)

The authors revisit sheaves on locales by placing them in the context of the theory of quantale modules. So they begin, in Section 2, with a description in terms of \(B\)-modules of the open locale maps and obtain direct translations between local homomorphisms and locale modules, early on identifying two isomorphic categories of sheaves as modules, \(B-{\mathcal {LH}}\) and \(B-{\mathcal S}h\), with the same objects.