The category of pointwise S-proximity spaces (Q2486059): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:48, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The category of pointwise S-proximity spaces |
scientific article |
Statements
The category of pointwise S-proximity spaces (English)
0 references
5 August 2005
0 references
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)].
0 references
lattice-valued topology
0 references
category theory
0 references
uniform space
0 references
proximity space
0 references