Article ID Journal Published Year Pages File Type
4662686 Annals of Pure and Applied Logic 2006 16 Pages PDF
Abstract

We show that a morphism of locales (or toposes) is open if and only if all its pullbacks are skeletal in the sense of [P.T. Johnstone, Factorization theorems for geometric morphisms, II, in: Categorical Aspects of Topology and Analysis, in: Lecture Notes in Math., vol. 915, Springer-Verlag, 1982, pp. 216–233], i.e. pulling back along them preserves denseness of sublocales (or subtoposes). This result may be viewed as the ‘dual’ of the well-known characterization of proper maps as those which are stably closed. We also investigate the circumstances in which a particular sublocale, or set of sublocales, of a given locale, may be ‘declared closed’.

Related Topics
Physical Sciences and Engineering Mathematics Logic