Generalizing β- and λ-maps
Abstract
We generalize the notions of β- and λ-maps to general selections of sublocales, obtaining different classes of localic maps. These new classes of maps are used to characterize almost normality, extremal disconnectedness, F-frames, Oz-frames, among others types of locales, in a manner akin to the characterization of normal locales via β-maps. As a byproduct we obtain a characterization of localic maps that preserve the completely below relation (that is, the right adjoints of assertive frame homomorphisms).
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.