Constructing locales from quantales

Abstract

We recall that a locale is a complete lattice L satisfying a ∧ (∨bα) = ∨(a ∧ bα), for all a ∈ L, and {bα} ⊆ L. Examples of locales include the lattices (X) of open subsets of topological spaces X. Following Joyal and Tierney [7], a morphism f: L → M of locales is a ∨-, ∧-, and τ-preserving map. Such functions are sometimes called ‘frame homomorphisms’, in which case the right adjoint f*:M → L (which exists since f preserves ∨) is then called a ‘morphism of locales’.