Abstract
It is proved that the quasi-proximity space induced by the bicompletion of a quasi-uniform T 0-space X is a subspace of the quasi-proximity space induced by the Samuel bicompactification of X. The result is then used to establish that the locally finite covering quasi-uniformity defined on the category Top 0 of topological T 0-spaces and continuous maps is not lower K-true (in the sense of Brümmer). It is also shown that a functorial quasi-uniformity F on Top 0 is upper K-true if and only if FX is bicomplete whenever X is sober.
Similar content being viewed by others
References
Adámek, J., Herrlich, H. and Strecker, G.: Abstract and Concrete Categories,Wiley, New York, 1990.
Brümmer, G. C. L.: Functorial transitive quasi-uniformities, in H. L. Bentley et al. (eds), Categorical Topology (Proc. Conf. Toledo, Ohio, 1983), Heldermann Verlag, Berlin, 1984, pp. 163–184.
Brümmer, G. C. L.: Completions of functorial topological structures, in W. Gähler et al. (eds), Recent Developments of General Topology and its Applications (Proc. Conf. Berlin, 1992), Akademie Verlag, Berlin, 1992, pp. 60–71.
Brümmer, G. C. L.: Categorical aspects of the theory of quasi-uniform spaces, Rend. Istit. Mat. Univ. Trieste 30(Suppl.) (1999), 45–74. Free online http://mathsun1.univ.trieste.it/Rendiconti/.
Brümmer, G. C. L. and Giuli, E.: A categorical concept of completion of objects, Comment. Math. Univ. Carolinae 33 (1992), 131–147.
Carlson, S. C.: Completely uniformizable proximity spaces, Topology Proc. 10 (1985), 237–250.
Dikranjan, D. and Künzi, H.-P.: Separation and epimorphisms in quasi-uniform spaces, Appl. Categ. Structures 8 (2000), 175–207.
Fletcher, P.: On completeness of quasi-uniform spaces, Arch. Math. (Basel) 22 (1971), 200–204.
Fletcher, P. and Lindgren, W. F.: Quasi-Uniform Spaces, Marcel Dekker, New York, 1982.
Kimmie, Z.: Functorial transitive quasi-uniformities and their bicompletions, PhD Thesis, Univ. Cape Town, 1995.
Künzi, H.-P.A.: Quasi-uniform spaces - eleven years later, Topology Proc. 18 (1993), 143–171.
Künzi, H.-P. A. and Ferrario, N.: Bicompleteness of the fine quasi-uniformity, Math. Proc. Cambridge Philos. Soc. 109 (1991), 167–186.
Skula, L.: On a reflective subcategory of the category of all topological spaces, Trans. Amer. Math. Soc. 142 (1969), 37–41.
Nel, L. D. and Wilson, R. G.: Epireflections in the category of T0-spaces, Fund. Math. 75 (1972), 69–74.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Brümmer, G.C.L., Künzi, HP.A. Bicompletion and Samuel Bicompactification. Applied Categorical Structures 10, 317–330 (2002). https://doi.org/10.1023/A:1015240428548
Issue Date:
DOI: https://doi.org/10.1023/A:1015240428548