加载中…
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, -frames, -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).

生成讲解博客的中文版本

生成AI智能校验的中文版本