The order-theoretic duality and relations between partial metrics and local equalities (Q419040): Difference between revisions

Based on the result of [\textit{M. Bukatin}, \textit{R. Kopperman}, \textit{S. Matthews} and \textit{H. Pajoohesh}, ``Partial metrics and quantale-valued sets'', Preprint (2006)] on the equivalence of the notions of \(L\)-valued set of [\textit{U. Höhle}, ``\(M\)-valued sets and sheaves over integral commutative \(CL\)-monoids'', in: Applications of category theory to fuzzy subsets, Mat. 11th Int. Semin. Fuzzy Set Theory, Linz/Austria 1989, Theory Decis. Libr., Ser. B 14, 34--72 (1992; Zbl 0766.03037)] and partial \(\mathcal{V}\)-pseudometric space of [\textit{R. Kopperman}, \textit{S. Matthews} and \textit{H. Pajoohesh}, ``Partial metrizability in value quantales'', Appl. Gen. Topol. 5, No. 1, 115--127 (2004; Zbl 1060.06016)], the current paper provides a more rigid formulation in terms of category theory. More precisely, it establishes equality (isomorphism) of certain categories whose objects are the above-mentioned concepts, thereby lifting the achievement of M. Bukatin et al. [loc. cit.] to their morphisms. The categories in question are considered as both fixed-basis (in the sense of [\textit{U. Höhle} and \textit{A. P. Šostak}, ``Axiomatic foundations of fixed-basis fuzzy topology'', in: U. Höhle (ed.) et al., Mathematics of fuzzy sets. Logic, topology, and measure theory. Dordrecht: Kluwer Academic Publishers. Handb. Fuzzy Sets Ser. 3, 123--272 (1999; Zbl 0977.54006)]), thereby getting their equality, and variable-basis (in the sense of [\textit{S. E. Rodabaugh}, ``Categorical foundations of variable-basis fuzzy topology'', in: ibid., 273--388 (1999; Zbl 0968.54003)]), thereby getting their isomorphism. As a consequence, one obtains a convenient correspondence between decompositions of \(L\)-valued equalities as global \(L\)-valued equalities and extensional maps, on the one hand, and representation of partial \(\mathcal{V}\)-pseudometrics through weighted \(\mathcal{V}\)-pseudometrics [\textit{S. G. Matthews}, ``Partial metric topology'', in: S. Andima (ed.) et al., Papers on general topology and applications. Papers from the 8th summer conference at Queens College, New York, NY, USA, June 18--20, 1992. New York, NY: The New York Academy of Sciences. Ann. N. Y. Acad. Sci. 728, 183--197 (1994; Zbl 0911.54025)], on the other hand. The underlying idea of the above equivalence of the two notions is the fact that while the concept of U. Höhle relies on quantales (the prefix \(L\)), the notion of R. Kopperman et al. [loc. cit.] relies on their duals (the prefix \(\mathcal{V}\)), thereby substituting joins with meets, the respective concept axioms being (almost) identical (modulo the duality). The paper provides a convenient introduction into the theory of both \(L\)-valued sets and partial \(\mathcal{V}\)-pseudo\-metrics (suitable for almost every reader), paying particular attention to their underlying algebraic structures, namely, quantales and dual quantales (in the language of the paper). All results are clearly stated and much commented upon. Such a scrupulousness, however, tends to (slightly) boost the main achievement of the paper, which is nothing else than just a (more convenient) restatement of the already presented result.