×

Pointless uniformities. I: Complete regularity. II: (Dia)metrization. (English) Zbl 0543.54023

Commentat. Math. Univ. Carol. 25, 91-104 (1984); 25, 105-120 (1984).
The author characterizes completely regular locales by the existence of compatible uniformities or of suitable real-valued functions called diameters. The main results of the second part are that each uniformity on a locale is induced by a family of diameters; if it has a countable basis, by a single diameter. There are also some results on some not- quite uniformities called weak uniformities. (This conflicts with the well-established terminology of weak uniformities and weak topologies induced by families of functionals.)
Reviewer: J.R.Isbell

MSC:

54E15 Uniform structures and generalizations
54A05 Topological spaces and generalizations (closure spaces, etc.)
06D10 Complete distributivity