On \(L\)-fuzzy closure operators and \(L\)-fuzzy pre-proximities (Q2061412)

\par Based on the concept of \(L\)-fuzzy set of \textit{L. A. Zadeh} [Inf. Control 8, 338--353 (1965; Zbl 0139.24606)] and \textit{J. A. Goguen} [J. Math. Anal. Appl. 18, 145--174 (1967; Zbl 0145.24404)], the authors study \(L\)-fuzzy analogues of closure spaces (see, e.g., [\textit{D. Dikranjan} and \textit{W. Tholen}, Categorical structure of closure operators. With applications to topology, algebra and discrete mathematics. Dordrecht: Kluwer Academic Publishers (1995; Zbl 0853.18002)]), topological spaces, and proximity spaces (see, e.g., [\textit{R. Engelking}, General topology. Berlin: Heldermann Verlag (1989; Zbl 0684.54001)]), where \(L\) is taken to be a complete residuated lattice with an order-reversing involution [\textit{T. S. Blyth}, Lattices and ordered algebraic structures. London: Springer (2005; Zbl 1073.06001)]. Moreover, topological spaces are considered in their dual form (called co-topological spaces), namely, as pairs \((X,\sigma)\), where \(X\) is a set, and \(\sigma\) is a subset of the powerset \(\mathcal{P}X\), which is closed under arbitrary intersections and finite unions. \par The authors show a fuzzification of the classical procedures of obtaining closure spaces from pre-proximity spaces and vice versa, as well as co-topological spaces from pre-proximity spaces and closure spaces. Additionally, the authors describe a Galois correspondence (in the sense of, e.g., [\textit{J. Adámek} et al., Repr. Theory Appl. Categ. 2006, No. 17, 1--507 (2006; Zbl 1113.18001)]) between certain constructs of fuzzified pre-proximity spaces and fuzzified closure spaces. \par The paper has a reasonable number of typos, provides most of its required preliminaries, and will be of interest to all those researchers who study lattice-valued topology and will be ready to plunge in the lengthy proofs of the authors.