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

The authors give analogies of Hutton's quasi-uniformities for complete lattices and extensions of Shi's pointwise quasi-uniformities to closed set lattices. Let CLGOH denote the category of all complete lattices with generalized order homomorphisms as morphisms, CSL denote 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. The authors prove that both HQUnif and SPQUnif are fibre-complete topological categories over CLGOH and CSL with respect to the expected forgetful functors, respectively.