Abstract

The dissolution (introduced by Isbell in [3], discussed by Johnstone in [5] and later exploited by Plewe in [12, 13]) is here viewed as the relation of the geometry of L with that of the more dispersed T(L) = S(L)op mediated by the natural embedding and its adjoint localic map γL : T(L) → L. The associated image-preimage adjunction (γL )−1 [−] ⊣ γL [−] between the frames T(L) and TT(L) is shown to coincide with the adjunction cT(L) ⊣ γ T(L) of the second step of the assembly (tower) of L. This helps to explain the role of T(L) = S(L)op as an “almost discrete lift” (sometimes used as a sort of model of the classical discrete lift DL → L) as a dispersion going halfway to Booleanness. Consequent use of the concrete sublocales technique simplifies the reasoning. We illustrate it on the celebrated Plewe’s theorem on ultranormality (and ultraparacompactness) of S(L) which becomes (we hope) substantially more transparent.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.