Booleanization

B. Banaschewski; A. Pultr

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1996)

  • Volume: 37, Issue: 1, page 41-60
  • ISSN: 1245-530X

How to cite

top

Banaschewski, B., and Pultr, A.. "Booleanization." Cahiers de Topologie et Géométrie Différentielle Catégoriques 37.1 (1996): 41-60. <http://eudml.org/doc/91572>.

@article{Banaschewski1996,
author = {Banaschewski, B., Pultr, A.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {category of frames with weakly open morphisms; Booleanization of frames; reflection},
language = {eng},
number = {1},
pages = {41-60},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Booleanization},
url = {http://eudml.org/doc/91572},
volume = {37},
year = {1996},
}

TY - JOUR
AU - Banaschewski, B.
AU - Pultr, A.
TI - Booleanization
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1996
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 37
IS - 1
SP - 41
EP - 60
LA - eng
KW - category of frames with weakly open morphisms; Booleanization of frames; reflection
UR - http://eudml.org/doc/91572
ER -

References

top
  1. 1 R. Balbes and P. Dwinger, "Distributive lattices", University of Missouri Press, 1974. Zbl0321.06012MR373985
  2. 2 B. Banaschewski, On pushing out frames, Comment. Math. Univ. Carolinae31 (1990), 13-21. Zbl0706.18003MR1056165
  3. 3 B. Banaschewski, Compactification of frames, Math. Nachr.149 (1990), 105-116. Zbl0722.54018MR1124796
  4. 4 B. Banaschewski and C.J. Mulvey, Stone-Cech compactification of locales, Houston J. Math.6 (1980), 301-312. Zbl0473.54026MR597771
  5. 5 B. Banaschewski and A. Pultr, Samuel compactification and completion of uniform frames, Math. Proc. Cambridge Phil. Soc.108 (1990), 63-78. Zbl0733.54020MR1049760
  6. 6 B. Banaschewski and A. Pultr, A Stone duality for metric spaces, Canad. Math. Soc. Conf. Proceedings13 (1992), 33-42. Zbl0789.54035MR1192138
  7. 7 B. Banaschewski and A. Pultr, Variants of openness, to appear in Appl. Categ. Structures. Zbl0810.54017MR1300720
  8. 8 B. Banaschewski and A. Pultr, Booleanization of uniform frames, to appear. Zbl0848.06009MR1396165
  9. 9 Z. Frolik, Remarks concerning the invariance of Baire spaces, Czech. Math. J.11 (1961), 381-385. Zbl0104.17204MR133098
  10. 10 G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, Compendium of Continuous Lattices, Springer-Verlag, BerlinHeidelbergNew York1980. Zbl0452.06001MR614752
  11. 11 V. Glivenko, Sur quelque points de la logique de M. Brouwer, Acad. Royal Belg. Bull. Sci.15 (1929), 183-188. JFM55.0030.05
  12. 12 H. Herrlich and G.E. Strecker, H-closed spaces and reflective subcategories, Math. Annalen177 (1968), 302-309. Zbl0157.29104MR234427
  13. 13 J.R. Isbell, Atomless parts of spaces, Math. Scand.31 (1972), 5-32. Zbl0246.54028MR358725
  14. 14 P.T. Johnstone, "Stone Spaces", Cambridge University Press, Cambridge, 1982. Zbl0499.54001MR698074
  15. 15 P.T. Johnstone, Factorization theorems for geometric morphisms, Springer Lecture Notes in Math.915, 216-233. Zbl0477.18006MR659894
  16. 16 A. Joyal and M. Tierney, An extension of the Galois theory of Groihendieck, Number 309, Memoirs of the AMS51. Zbl0541.18002MR756176
  17. 17 S. Mac Lane, "Categories for the Working Mathematician", Springer-Verlag, New York, Heidelberg, Berlin1971, Graduate Texts in Mathematics5. Zbl0232.18001MR1712872
  18. 18 J. Mioduszewski and L. Rudolf, H-closed and extremally disconnected Hausdorff spaces, Dissertationes Math.66 (1969). Zbl0204.22404MR256353
  19. 19 J. Niederle, On equalizers in the category of frames with weakly open homo-morphisms, Czech. Math. J.42(117) (1992), 497-502. Zbl0791.06014MR1179313
  20. 20 A.M. Pitts, Amalgamation and interpolation in the category of Heyting algebras, J. Pure Appl. Alg.29 (1983), 155-165. Zbl0517.18004MR707618
  21. 21 V. Pták, Completeness and the open mapping theorem, Bull. Soc. Math. France86 (1958), 41-74. Zbl0082.32502MR105606
  22. 22 A. Pultr, Pointless uniformities I. Complete regularity, Comment. Math. Univ. Carolinae25 (1984), 91-104. Zbl0543.54023MR749118
  23. 23 S. Vickers, "Topology via Logic", Cambridge Tracts in Theor. Comp. Sci., Number 5, Cambridge University Press, Cambridge, 1985. Zbl0668.54001MR1002193

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.