×

Monoids with quantale-valued preorders: globalizations and localizations. (English) Zbl 1522.18009

Summary: We consider compatible monoid structures on a \(\mathsf{DQ}\)-category, where \(\mathsf{Q}\) is a commutative and divisible quantale, and \(\mathsf{DQ}\) is the quantaloid of diagonals of \(\mathsf{Q}\). Such structures, called \(\mathsf{DQ}\)-monoids, may be treated as monoids equipped with a preorder valued in \(\mathsf{Q}\), whose elements are not supposed to exist globally. The globalization functors map \(\mathsf{DQ}\)-monoids to global ones, i.e., monoids on a \(\mathsf{Q}\)-category, called \(\mathsf{Q}\)-monoids. Conversely, \(\mathsf{Q}\)-monoids over \(\mathsf{Q}\) give rise to \(\mathsf{DQ}\)-monoids via the localization functors. The interactions between the globalization functors and the localization functors are investigated. In particular, a necessary and sufficient condition on \(\mathsf{Q}\) is provided such that the localizations are reversible by the globalizations.

MSC:

18B40 Groupoids, semigroupoids, semigroups, groups (viewed as categories)
06F05 Ordered semigroups and monoids
06F07 Quantales
18M05 Monoidal categories, symmetric monoidal categories
Full Text: DOI

References:

[1] Alsina, C.; Frank, M. J.; Schweizer, B., Associative Functions: Triangular Norms and Copulas (2006), World Scientific: World Scientific Singapore · Zbl 1100.39023
[2] Beck, J. M., Triples, algebras and cohomology (1967), Columbia University: Columbia University New York, PhD thesis
[3] Bělohlávek, R., Concept lattices and order in fuzzy logic, Ann. Pure Appl. Log., 128, 1-3, 277-298 (2004) · Zbl 1060.03040
[4] Bělohlávek, R.; Vychodil, V., Algebras with fuzzy equalities, Fuzzy Sets Syst., 157, 2, 161-201 (2006) · Zbl 1087.08005
[5] Borceux, F., Handbook of Categorical Algebra: Volume 2, Categories and Structures, Encyclopedia of Mathematics and Its Applications, vol. 51 (1994), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0843.18001
[6] Bukatin, M.; Kopperman, R.; Matthews, S. G.; Pajoohesh, H., Partial metric spaces, Am. Math. Mon., 116, 8, 708-718 (2009) · Zbl 1229.54037
[7] Chang, C. C., Algebraic analysis of many valued logics, Trans. Am. Math. Soc., 88, 2, 467-490 (1958) · Zbl 0084.00704
[8] Clementino, M. M.; Martins-Ferreira, N.; Montoli, A., On the categorical behaviour of preordered groups, J. Pure Appl. Algebra, 223, 10, 4226-4245 (2019) · Zbl 1468.18012
[9] Clementino, M. M.; Montoli, A., On the categorical behaviour of V-groups, J. Pure Appl. Algebra, 225, 4, Article 106550 pp. (2021) · Zbl 1445.18001
[10] Eklund, P.; Gutiérrez García, J.; Höhle, U.; Kortelainen, J., Semigroups in Complete Lattices: Quantales, Modules and Related Topics, Developments in Mathematics, vol. 54 (2018), Springer: Springer Cham · Zbl 1491.06001
[11] Faucett, W. M., Compact semigroups irreducibly connected between two idempotents, Proc. Am. Math. Soc., 6, 5, 741-747 (1955) · Zbl 0065.25204
[12] Gutiérrez García, J.; Lai, H.; Shen, L., Fuzzy Galois connections on fuzzy sets, Fuzzy Sets Syst., 352, 26-55 (2018) · Zbl 1397.03075
[13] Hájek, P., Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4 (1998), Springer: Springer Dordrecht · Zbl 0937.03030
[14] He, J.; Lai, H.; Shen, L., Towards probabilistic partial metric spaces: diagonals between distance distributions, Fuzzy Sets Syst., 370, 99-119 (2019) · Zbl 1423.54020
[15] (Hofmann, D.; Seal, G. J.; Tholen, W., Monoidal Topology: A Categorical Approach to Order, Metric, and Topology. Monoidal Topology: A Categorical Approach to Order, Metric, and Topology, Encyclopedia of Mathematics and Its Applications, vol. 153 (2014), Cambridge University Press: Cambridge University Press Cambridge) · Zbl 1297.18001
[16] Höhle, U., M-valued sets and sheaves over integral commutative cl-monoids, (Rodabaugh, S. E.; Klement, E. P.; Höhle, U., Applications of Category Theory to Fuzzy Subsets. Applications of Category Theory to Fuzzy Subsets, Theory and Decision Library, vol. 14 (1992), Springer: Springer Berlin-Heidelberg), 33-72 · Zbl 0766.03037
[17] Höhle, U., Presheaves over GL-monoids, (Höhle, U.; Klement, E. P., Non-Classical Logics and Their Applications to Fuzzy Subsets. Non-Classical Logics and Their Applications to Fuzzy Subsets, Theory and Decision Library, vol. 32 (1995), Springer: Springer Berlin-Heidelberg), 127-157 · Zbl 0838.06013
[18] Höhle, U., GL-quantales: Q-valued sets and their singletons, Stud. Log., 61, 1, 123-148 (Jul 1998) · Zbl 0962.03061
[19] Höhle, U., Many-valued preorders I: the basis of many-valued mathematics, (Magdalena, L.; Verdegay, J. L.; Esteva, F., Enric Trillas: A Passion for Fuzzy Sets: A Collection of Recent Works on Fuzzy Logic. Enric Trillas: A Passion for Fuzzy Sets: A Collection of Recent Works on Fuzzy Logic, Studies in Fuzziness and Soft Computing, vol. 322 (2015), Springer: Springer Cham), 125-150 · Zbl 1383.06001
[20] Höhle, U.; Kubiak, T., A non-commutative and non-idempotent theory of quantale sets, Fuzzy Sets Syst., 166, 1-43 (2011) · Zbl 1226.06011
[21] Joyal, A.; Tierney, M., An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society, vol. 51, Article 309 pp. (1984) · Zbl 0541.18002
[22] Kelly, G. M., Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Note Series, vol. 64 (1982), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0478.18005
[23] Klement, E. P.; Mesiar, R.; Pap, E., Triangular Norms, Trends in Logic, vol. 8 (2000), Springer: Springer Dordrecht · Zbl 0972.03002
[24] Klement, E. P.; Mesiar, R.; Pap, E., Triangular norms. Position paper III: continuous t-norms, Fuzzy Sets Syst., 145, 3, 439-454 (2004) · Zbl 1059.03013
[25] Lai, H.; Shen, L.; Tao, Y.; Zhang, D., Quantale-valued dissimilarity, Fuzzy Sets Syst., 390, 48-73 (2020) · Zbl 1452.06013
[26] Lai, H.; Zhang, D., Fuzzy preorder and fuzzy topology, Fuzzy Sets Syst., 157, 14, 1865-1885 (2006) · Zbl 1118.54008
[27] Lawvere, F. W., Metric spaces, generalized logic and closed categories, Rend. Semin. Mat. Fis. Milano, 43, 135-166 (1973) · Zbl 0335.18006
[28] Mac Lane, S., Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5 (1998), Springer: Springer New York · Zbl 0906.18001
[29] Matthews, S. G., Partial metric topology, Ann. N.Y. Acad. Sci., 728, 1, 183-197 (1994) · Zbl 0911.54025
[30] Mostert, P. S.; Shields, A. L., On the structure of semigroups on a compact manifold with boundary, Ann. Math., 65, 1, 117-143 (1957) · Zbl 0096.01203
[31] Pu, Q.; Zhang, D., Preordered sets valued in a GL-monoid, Fuzzy Sets Syst., 187, 1, 1-32 (2012) · Zbl 1262.18008
[32] Riehl, E., Category Theory in Context. Aurora: Dover Modern Math Originals (2016), Dover Publications: Dover Publications Mineola · Zbl 1348.18001
[33] Romaguera, S.; Schellekens, M., Partial metric monoids and semivaluation spaces, Topol. Appl., 153, 5, 948-962 (2005) · Zbl 1084.22002
[34] Rosenthal, K. I., Quantales and Their Applications, Pitman Research Notes in Mathematics Series, vol. 234 (1990), Longman: Longman Harlow · Zbl 0703.06007
[35] Rosenthal, K. I., The Theory of Quantaloids, Pitman Research Notes in Mathematics Series, vol. 348 (1996), Longman: Longman Harlow · Zbl 0845.18003
[36] Shen, L.; Zhang, D., The concept lattice functors, Int. J. Approx. Reason., 54, 1, 166-183 (2013) · Zbl 1288.06013
[37] Shen, L.; Zhang, D., Formal concept analysis on fuzzy sets, (Proceedings of the 2013 Joint IFSA World Congress and NAFIPS Annual Meeting. Proceedings of the 2013 Joint IFSA World Congress and NAFIPS Annual Meeting, IFSA/NAFIPS (2013), IEEE), 215-219
[38] Stubbe, I., Categorical structures enriched in a quantaloid: categories, distributors and functors, Theory Appl. Categ., 14, 1, 1-45 (2005) · Zbl 1079.18005
[39] Stubbe, I., An introduction to quantaloid-enriched categories, Fuzzy Sets Syst., 256, 95-116 (2014) · Zbl 1335.18002
[40] Tao, Y.; Lai, H.; Zhang, D., Quantale-valued preorders: globalization and cocompleteness, Fuzzy Sets Syst., 256, 236-251 (2014) · Zbl 1337.06010
[41] Tholen, W., Lax distributive laws for topology, I, Cah. Topol. Géom. Différ. Catég., 60, 3, 311-364 (2019) · Zbl 1423.18027
[42] Zadeh, L. A., Similarity relations and fuzzy orderings, Inf. Sci., 3, 2, 177-200 (1971) · Zbl 0218.02058
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.