Linear structures on locales
We define a notion of morphism for quotient vector bundles that yields both a category and a contravariant global sections functor whose restriction to trivial vector bundles with fiber coincides with the contravariant functor of -valued continuous functions. Based on this we obtain a linear extension of the adjunction between the categories of topological spaces and locales: (i) a linearized topological space is a spectral vector bundle, by which is meant a mildly restricted type of quotient vector bundle; (ii) a linearized locale is a locale equipped with both a topological vector space and a -valued support map for the elements of satisfying a continuity condition relative to the spectrum of and the lower Vietoris topology on ; (iii) we obtain an adjunction between the full subcategory of spectral vector bundles and the category of linearized locales , which restricts to an equivalence of categories between sober spectral vector bundles and spatial linearized locales. The spectral vector bundles are classified by a finer topology on , called the open support topology, but there is no notion of universal spectral vector bundle for an arbitrary topological vector space .