论文信息 - Complemented sublocales and open maps

Complemented sublocales and open maps

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

Peter T. Johnstone | P. Johnstone

[1] J.J.C. Vermeulen,et al. Proper maps of locales , 1994 .

[2] Till Plewe,et al. Quotient Maps of Locales , 2000, Appl. Categorical Struct..

[3] Walter Tholen,et al. Categorical Foundations: A Functional Approach to General Topology , 2003 .

[4] Peter T. Johnstone,et al. The gleason cover of a topos, II , 1980 .

[5] John R. Isbell,et al. Atomless Parts of Spaces. , 1972 .

[6] I. Moerdijk,et al. Proper Maps of Toposes , 2000 .

[7] P. Johnstone. Open maps of toposes , 1980 .

[8] Peter T. Johnstone,et al. Factorization theorems for geometric morphisms, II , 1982 .

[9] P. Johnstone,et al. The frame of fibrewise closed nuclei , 1991 .

[10] J. Mioduszewski,et al. H-closed and extremally disconnected Hausdorff spaces , 1969 .

[11] B. Banaschewski. Singly generated frame extensions , 1992 .

[12] A. Pultr,et al. Variants of openness , 1994, Appl. Categorical Struct..

[13] P. Johnstone. Sketches of an Elephant: A Topos Theory Compendium Volume 1 , 2002 .