WEIL ENTOURAGES IN POINTFREE TOPOLOGY

Uniform structures for frames and their generalizations (quasi-uniformities and nearnesses) are the subject of this thesis. Weil’s notion of entourage is extended to this framework and it is proved that this is a basic concept on which that structures may be axiomatized. On the other hand, it is shown that uniform frames may also be described by gauge structures, that is, certain families of metric diameters.

[1]  Miroslav Katětov,et al.  On continuity structures and spaces of mappings , 1965 .

[2]  Bernhard Banaschewski,et al.  Samuel compactification and completion of uniform frames , 1990, Mathematical Proceedings of the Cambridge Philosophical Society.

[3]  Dona Papert,et al.  Sur les treillis des ouverts et les paratopologies , 1958 .

[4]  H. Herrlich,et al.  Improving constructions in topology , 1991 .

[5]  Aleš Pultr,et al.  Diameters in locales: How bad they can be , 1988 .

[6]  A. Weil,et al.  Sur les espaces à structure uniforme et sur la topologie générale , 1939 .

[7]  John R. Isbell,et al.  Atomless Parts of Spaces. , 1972 .

[8]  E. P. Lane.  Bitopological Spaces and Quasi‐Uniform Spaces , 1967 .

[9]  A. Pultr.  Categories of diametric frames , 1989, Mathematical Proceedings of the Cambridge Philosophical Society.

[10]  Horst Herrlich,et al.  Galois connections categorically , 1990 .

[11]  Bernhard Banaschewski,et al.  Another look at the localic Tychonoff theorem , 1988 .

[12]  B. Banaschewski,et al.  BIFRAMES AND BISPACES , 1983 .

[13]  M. Stone,et al.  The Theory of Representation for Boolean Algebras , 1936 .

[14]  P. Johnstone,et al.  The point of pointless topology , 1983 .

[15]  M. Stone.  Applications of the theory of Boolean rings to general topology , 1937 .

[16]  B. Banaschewski.  Bourbaki's Fixpoint Lemma reconsidered , 1992 .

[17]  Fletcher.  Quasi-Uniform Spaces , 1982 .

[18]  S. Vickers.  Topology via Logic , 1989 .

[19]  J. Picado.  Weil uniformities for frames , 1995 .

[20]  I. Moerdijk,et al.  Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[21]  Aleš Pultr,et al.  Pointless uniformities. II: (Dia)metrization , 1984 .

[22]  Aleš Pultr,et al.  Pointless uniformities. I. Complete regularity , 1984 .

[23]  B. Banaschewski,et al.  CAUCHY POINTS OF UNIFORM AND NEARNESS FRAMES , 1996 .

[24]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[25]  M. Stone,et al.  The representation of Boolean algebras , 1938 .

[26]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[27]  Leonard Gillman,et al.  Rings of continuous functions , 1961 .

[28]  John W. Tukey,et al.  Convergence and uniformity in topology , 1940 .

[29]  I. Kríz.  A direct description of uniform completion in locales and a characterization of $LT$-groups , 1986 .

[30]  Warren Page,et al.  Topological uniform structures , 1978 .

[31]  P. T. Johnstone,et al.  Tychonoff's theorem without the axiom of choice , 1981 .

[32]  Peter Fletcher,et al.  Entourage uniformities for frames , 1991 .

[33]  Bernhard Banaschewski,et al.  Cauchy Points of Metric Locales , 1989, Canadian Journal of Mathematics.

[34]  Horst Herrlich,et al.  A concept of nearness , 1974 .