A preservation result for completely regular locales. (Q2447128)

One can view the category of locales as \(\mathsf{Frm}^{\text{op}}\), in which case morphisms (called \textit{continuous maps of locales}) are merely ``reversals'' of frame homomorphisms. In their treatise [Locales treated mostly in a covariant way. Coimbra: Universidade de Coimbra, Departamento de Matemática (2008; Zbl 1154.06007)], \textit{J. Picado} and \textit{A. Pultr} take morphisms in \(\mathsf{Loc}\) (called \textit{localic maps}) to be mappings that have left adjoints preserving finite meets. This paper approaches locales in this latter fashion. The authors prove that regularity, complete regularity, and fitness are each preserved by closed-and-open surjections.