A direct description of uniform completion in locales and a characterization of LT-groups
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 27 (1986) no. 1, p. 19-34
@article{CTGDC_1986__27_1_19_0,
     author = {K\v r\'\i \v z, Igor},
     title = {A direct description of uniform completion in locales and a characterization of $LT$-groups},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {27},
     number = {1},
     year = {1986},
     pages = {19-34},
     zbl = {0601.18004},
     mrnumber = {845407},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1986__27_1_19_0}
}
Kříž, Igor. A direct description of uniform completion in locales and a characterization of $LT$-groups. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 27 (1986) no. 1, pp. 19-34. http://www.numdam.org/item/CTGDC_1986__27_1_19_0/

1 J. Benabou, Treillis locaux et paratopologies, Cahiers Top. et Géom Diff. 1 (1957/58). | Numdam | Zbl 0134.40704

2 C.H. Dowker & D. Strauss, Sums in the category of frames, Houston J. Math. 3 (1976), 17-32. | MR 442900 | Zbl 0341.54001

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

4 J.R. Isbell, I. Kříž, A. Pultr & J. Rosický, Regular locales and localic groups (to appear).

5 P.T. Johnstone, The point of pointless topology, Bull. AMS 8 (1983), 41-43. | MR 682820 | Zbl 0499.54002

6 P.T. Johnstone, Tychonoff's Theorem without the axiom of choice, Fund. Math. CXIII (1981), 21-35. | MR 641111 | Zbl 0503.54006

7 F.C. Kirwan, Uniform locales, Dissertation, Univ. Cambridge, 1981;

8 A. Pultr, Pointless uniformities I. Complete regularity, Comm. Math. Univ. Carolinae 25,1 (1984), 91-104. | MR 749118 | Zbl 0543.54023

9 A. Pultr, Pointless uniformities II. (Dia)metrisation, Id., 105-120. | MR 749119 | Zbl 0543.54023

10 A. Pultr, Remarks on metrizable locales, Proc. 12th winter school of abst. analysis, Palermo II,6 (1984), 247-258. | MR 782722 | Zbl 0565.54001

11 H. Simmons, A framework for topology, Proc. Wroclaw Logic Conf. 1977; North-Holland (1978), 239-251. | MR 519819 | Zbl 0493.06005