no. 1
Booleanization
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996) no. 1, pp. 41-60. 
@article{CTGDC_1996__37_1_41_0,
     author = {Banaschewski, B. and Pultr, A.},
     title = {Booleanization},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {41--60},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {37},
     number = {1},
     year = {1996},
     mrnumber = {1383446},
     zbl = {0848.06010},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1996__37_1_41_0/}
}
TY  - JOUR
AU  - Banaschewski, B.
AU  - Pultr, A.
TI  - Booleanization
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1996
SP  - 41
EP  - 60
VL  - 37
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1996__37_1_41_0/
LA  - en
ID  - CTGDC_1996__37_1_41_0
ER  - 
%0 Journal Article
%A Banaschewski, B.
%A Pultr, A.
%T Booleanization
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1996
%P 41-60
%V 37
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1996__37_1_41_0/
%G en
%F CTGDC_1996__37_1_41_0
Banaschewski, B.; Pultr, A. Booleanization. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996) no. 1, pp. 41-60. http://archive.numdam.org/item/CTGDC_1996__37_1_41_0/

1 R. Balbes and P. Dwinger, "Distributive lattices", University of Missouri Press, 1974. | MR | Zbl

2 B. Banaschewski, On pushing out frames, Comment. Math. Univ. Carolinae 31 (1990), 13-21. | MR | Zbl

3 B. Banaschewski, Compactification of frames, Math. Nachr. 149 (1990), 105-116. | MR | Zbl

4 B. Banaschewski and C.J. Mulvey, Stone-Cech compactification of locales, Houston J. Math. 6 (1980), 301-312. | MR | Zbl

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

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

7 B. Banaschewski and A. Pultr, Variants of openness, to appear in Appl. Categ. Structures. | MR | Zbl

8 B. Banaschewski and A. Pultr, Booleanization of uniform frames, to appear. | MR | Zbl

9 Z. Frolik, Remarks concerning the invariance of Baire spaces, Czech. Math. J. 11 (1961), 381-385. | MR | Zbl

10 G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, Compendium of Continuous Lattices, Springer-Verlag, Berlin Heidelberg New York 1980. | MR | Zbl

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

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

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

14 P.T. Johnstone, "Stone Spaces", Cambridge University Press, Cambridge, 1982. | MR | Zbl

15 P.T. Johnstone, Factorization theorems for geometric morphisms, Springer Lecture Notes in Math. 915, 216-233. | MR | Zbl

16 A. Joyal and M. Tierney, An extension of the Galois theory of Groihendieck, Number 309, Memoirs of the AMS 51. | MR | Zbl

17 S. Mac Lane, "Categories for the Working Mathematician", Springer-Verlag, New York, Heidelberg, Berlin 1971, Graduate Texts in Mathematics 5. | MR | Zbl

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

19 J. Niederle, On equalizers in the category of frames with weakly open homo-morphisms, Czech. Math. J. 42(117) (1992), 497-502. | MR | Zbl

20 A.M. Pitts, Amalgamation and interpolation in the category of Heyting algebras, J. Pure Appl. Alg. 29 (1983), 155-165. | MR | Zbl

21 V. Pták, Completeness and the open mapping theorem, Bull. Soc. Math. France 86 (1958), 41-74. | Numdam | MR | Zbl

22 A. Pultr, Pointless uniformities I. Complete regularity, Comment. Math. Univ. Carolinae 25 (1984), 91-104. | MR | Zbl

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