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).

0

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.

Discussion (0)

Sign in to join the discussion.

Loading comments…