Analogizing Hutton's quasi-uniformities for complete lattices and extending Shi's quasi-uniformities to closed set lattices

摘要

This paper gives analogies of Hutton's quasi-uniformities for complete lattices and extensions of Shi's pointwise quasi-uniformities to closed set lattices. CL_(GOH) denotes the category of all complete lattices with generalized order homomorphisms as morphisms and CSL the category of all closed set lattices. HQUnif and SPQUnif denote the categories of Hutton quasi-uniform spaces on complete lattices and Shi pointwise quasi-uniform spaces on closed set lattices, respectively. We prove that both HQUnif and SPQUnif are fibre-complete topological categories over CL_(GOH) and CSL with respect to the expected forgetful functors, respectively. Also, a mistake in W. Kotze [Uniform spaces, in: U. Hoehle, S.E. Rodabaugh (Eds.), Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, The Handbooks of Fuzzy Sets Series, Vol. 3, Kluwer Academic Publishers, Boston, Dordrecht, London, 1999, pp. 553-580] is pointed out.