Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory

We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modules [Paseka 1999; Resende and Rodrigues, 2007] and that via so-called principally generated modules [Heymans and Stubbe, 2007]. For a principally generated module satisfying a… (More)