The category of pointwise S-proximity spaces (Q2486059)

The author proves that the category LOCDL-PQUnif of pointwise quasi-uniform spaces [\textit{F.G. Shi}, Fuzzy Sets Syst, 98, 141--146 (1998; Zbl 0941.54009)] is topological over \(\text{SET} \times\text{LOCDL}\). The notion of pointwise \(S\)-quasi-proximity is introduced and its relationship with pointwise quasi-uniformities is discussed. It is shown that LOCDL-PSQProx, the category of pointwise \(S\)-quasi-proximity spaces is isomorphic to LOCDL-TBPQUinf, the category of totally bounded pointwise quasi-uniform spaces. The author also proves that FUZLAT-PSProx, the category of pointwise \(S\)-proximity spaces is isomorphic to a subcategory of the category FUZLAT-TBPUnif, the category of totally bounded pointwise uniform spaces [\textit{F.G. Shi}, \textit{J. Zhang} and \textit{C.-Y. Zheng}, Fuzzy Sets Syst. 133, 321--331 (2003; Zbl 1041.54013)]. The category LOCDL-PSQProx is topological over \(\text{SET}\times\text{LOCDL}\) and the category FUZLAT-PSProx is topological over \(\text{SET}\times\text{FUZLAT}\), where \(\text{LOCDL} =\text{CDL}^{\text{op}}\) (the dual of the category of completely distributive lattices and complete lattice homomorphisms), and \(\text{FUZLAT} =\text{HUT}^{\text{op}}\) (the dual of HUT the Hutton category of completely distributive lattices equipped with an order-reversing involution as objects and having as morphisms those mappings which preserve arbitrary joins and the involution (and hence arbitrary meets as well)) [\textit{S. E. Rodabaugh}, Höhle, Ulrich (ed.) et al., Mathematics of fuzzy sets. Logic, topology, and measure theory. Dordrecht: Kluwer Academic Publishers. Handb. Fuzzy Sets Ser. 3, 273--388 (1999; Zbl 0968.54003)].