The order-theoretic duality and relations between partial metrics and local equalities (Q419040): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Sergey A. Solovyov / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E72 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18B99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54E35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6036177 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fuzzy relation | |||
Property / zbMATH Keywords: fuzzy relation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fuzzy equality | |||
Property / zbMATH Keywords: fuzzy equality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
many-valued equality | |||
Property / zbMATH Keywords: many-valued equality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fuzzy equivalence relation | |||
Property / zbMATH Keywords: fuzzy equivalence relation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
BL-algebra | |||
Property / zbMATH Keywords: BL-algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Heyting algebra | |||
Property / zbMATH Keywords: Heyting algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
GL-monoid | |||
Property / zbMATH Keywords: GL-monoid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(L\)-valued set | |||
Property / zbMATH Keywords: \(L\)-valued set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quantale | |||
Property / zbMATH Keywords: quantale / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weighted metric | |||
Property / zbMATH Keywords: weighted metric / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
partial pseudometric | |||
Property / zbMATH Keywords: partial pseudometric / rank | |||
Normal rank |
Revision as of 21:15, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The order-theoretic duality and relations between partial metrics and local equalities |
scientific article |
Statements
The order-theoretic duality and relations between partial metrics and local equalities (English)
0 references
18 May 2012
0 references
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.
0 references
fuzzy relation
0 references
fuzzy equality
0 references
many-valued equality
0 references
fuzzy equivalence relation
0 references
BL-algebra
0 references
Heyting algebra
0 references
GL-monoid
0 references
\(L\)-valued set
0 references
quantale
0 references
weighted metric
0 references
partial pseudometric
0 references