Booleanization of uniform frames
Banaschewski, Bernhard ; Pultr, Aleš
Commentationes Mathematicae Universitatis Carolinae, Tome 37 (1996), p. 135-146 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)

Booleanization of frames or uniform frames, which is not functorial under the basic choice of morphisms, becomes functorial in the categories with weakly open homomorphisms or weakly open uniform homomorphisms. Then, the construction becomes a reflection. In the uniform case, moreover, it also has a left adjoint. In connection with this, certain dual equivalences concerning uniform spaces and uniform frames arise.

Publié le : 1996-01-01
Classification:  06D10,  06E15,  18A40,  18B30,  54B30,  54C10,  54E15 
@article{118817,
     author = {Bernhard Banaschewski and Ale\v s Pultr},
     title = {Booleanization of uniform frames},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {37},
     year = {1996},
     pages = {135-146},
     zbl = {0848.06009},
     mrnumber = {1396165},
     language = {en},
     url = {http://dml.mathdoc.fr/item/118817}
}

Banaschewski, Bernhard; Pultr, Aleš. Booleanization of uniform frames. Commentationes Mathematicae Universitatis Carolinae, Tome 37 (1996) pp. 135-146. http://gdmltest.u-ga.fr/item/118817/

Banaschewski B. Compact regular frames and the Sikorski Theorem, Kyungpook J. Math. 28 (1988), 1-14. (1988) | MR 0986848 | Zbl 0676.03029

Banaschewski B.; Pultr A. Samuel compactification and completion of uniform frames, Math. Proc. Cambridge Phil. Soc. 108 (1990), 63-78. (1990) | MR 1049760 | Zbl 0733.54020

Banaschewski B.; Pultr A. A Stone duality for metric spaces, Canad. Math. Soc. Conf. Proceedings 13 (1992), 33-42. (1992) | MR 1192138 | Zbl 0789.54035

Banaschewski B.; Pultr A. Variants of openness, Appl. Categ. Structures 2 (1994), 331-350. (1994) | MR 1300720 | Zbl 0810.54017

Banaschewski B.; Pultr A. Booleanization, preprint. | MR 1383446 | Zbl 0848.06010

Glivenko V. Sur quelque points de la logique de M. Brouwer, Acad. Royal Belg. Bull. Sci. 15 (1929), 183-188. (1929)

Herrlich H.; Strecker G.E. H-closed spaces and reflective subcategories, Math. Annalen 177 (1968), 302-309. (1968) | MR 0234427 | Zbl 0157.29104

Isbell J.R. Atomless parts of spaces, Math. Scand. 31 (1972), 5-32. (1972) | MR 0358725 | Zbl 0246.54028

Johnstone P.T. Stone Spaces, Cambridge University Press, Cambridge, 1982. | MR 0698074 | Zbl 0586.54001

Johnstone P.T. Factorization theorems for geometric morphisms, II., Springer Lecture Notes in Math. 915 (1982), 216-233. (1982) | MR 0659894 | Zbl 0477.18006

Kříž I. A direct description of uniform completion in locales and a characterization of LT groups, Cahiers Top. et Géom. Diff. Cat. 27 (1986), 19-34. (1986) | MR 0845407

Mioduszewski J.; Rudolf L. H-closed and extremally disconnected Hausdorff spaces, Dissertationes Math. 66 (1969). (1969) | MR 0256353 | Zbl 0204.22404

Vickers S. Topology via Logic, Cambridge Tracts in Theor. Comp. Sci., Number 5, Cambridge University Press, Cambridge, 1985. | MR 1002193 | Zbl 0922.54002