Complemented sublocales and open maps (Q2575771): Difference between revisions

The main purpose of this paper is to answer a question posed by \textit{W. Tholen}: is it possible to characterize the open maps in the category of locales as those morphisms \(f\) such that pullback along \(f\) preserves closures of sublocales? So, the authors show that the answer to Tholen's question is negative: there are locales maps \(f\) such that pullback along \(f\) preserves closures of sublocales, but which are not open. The main theorem of the paper may thus be seen as the dual of the well-known characterization of proper maps as those which are stably closed. Also, the author investigates in which cases a particular sublocale, or set of sublocales, of a given locale, may be declared closed.