Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives. (English) Zbl 1335.68305
Summary: A question from programming arises: if bitstring \(x\) compares with bitstring \(y\) to some degree \(\alpha\), and if bitstring \(y\) satisfies predicate \(a\) to some degree \(\beta\), then how should the possibility be mathematically modeled that bitstring \(x\) satisfies predicate \(a\) to at least some degree related to both \(\alpha\) and \(\beta\)? Mathematically modeling this question is surprisingly intricate when the underlying conjunctions, e.g., of predicates, are non-commutative. Potential applications of this question occur in data-mining, a field in which pattern-matching is important and commonly used. This paper uses ideas from enriched categories over monoidal categories to address such issues and enable pattern-matching techniques to extend to many-valued contexts equipped with non-commutative conjunctions: first, we consider the notion of a set enriched by a po-monoid \(L\), which turns out to be a set equipped with an \(L\)-valued preorder; second, we extend the notion of enriched functors to formulate the appropriate definition of “variable-basis morphisms” between preordered sets over different lattice-theoretic bases; third, we construct the notion of topological systems enriched with many-valued preorders and use their extent spaces to motivate and formulate enriched (or preordered) topological spaces – the compatibility or enrichment axioms for such systems and spaces model the programming question stated above using non-commutative tensor products. En route are determined a number of related notions and results: many-valued antisymmetry characterizes the \(L\)-\(T_0\) separation axiom; many-valued preorders are categorically topological, and many-valued partial orders are monotopological; enriched topological spaces form a topological category; a large inventory of example classes is provided, including programming examples and an extensive discussion of examples based on the \(L\)-spectra of complete po-groupoids; and each of these related developments is provided a suitable lattice-theoretic and categorical foundation.
MSC:
| 68W32 | Algorithms on strings |
| 18D20 | Enriched categories (over closed or monoidal categories) |
| 54B30 | Categorical methods in general topology |
Keywords:
data mining; pattern matching; enriched categories; many-valued preorders; hemimetrics; specialization orders; \(T_0\) separation axiom; spectra; antisymmetry; skeletons; order-reversing involutions; order-preserving involutions; partially ordered groupoids; partially ordered ringoids; residuations; unital quantalesReferences:
| [1] | Adámek, J.; Herrlich, H.; Strecker, G. E., Abstract and Concrete Categories (2009), Dover Publications: Dover Publications New York |
| [2] | Bayoumi, F.; Rodabaugh, S. E., Overview and comparison of localic and fixed-basis topological products, Fuzzy Sets and Systems, 161, 2397-2439 (2010) · Zbl 1210.54010 |
| [5] | Buckles, B. P.; Petry, F. E., Information-theoretic characterization of fuzzy relational databases, IEEE Trans. Syst. Man Cybernet., 13, 1, 74-77 (1983) |
| [6] | Cignoli, R., Injective de Morgan and Kleene algebras, Proc. Amer. Math. Soc., 47, 2, 269-278 (1975) · Zbl 0301.06009 |
| [7] | Davey, B. A.; Priestley, H. A., Introduction to Lattices and Order, Cambridge Mathematics Textbooks (1990), Cambridge University Press · Zbl 0701.06001 |
| [8] | Denniston, J. T.; Rodabaugh, S. E., Functorial relationships between lattice-valued topology and topological systems, Quaestiones Math., 32, 2, 139-186 (2009) · Zbl 1220.06001 |
| [10] | Denniston, J. T.; Melton, A.; Rodabaugh, S. E., Interweaving algebra and topologylattice-valued topological systems, Fuzzy Sets and Systems, 192, 58-103 (2012) · Zbl 1244.54013 |
| [14] | Denniston, J. T.; Melton, A.; Rodabaugh, S. E., Programming semantics to topological systems to lattice-valued topology, Topology Proc., 43, 1-59 (2014) |
| [16] | Eilenberg, S.; Kelly, G. M., Closed categories, (Eilenberg, S.; Harrison, D. K.; Mac Lane, S.; Röhrl, H., Proceedings of the Conference on Categorical Algebra: La Jolla 1965 (1966), Springer Verlag: Springer Verlag Berlin, Heidelberg, New York), 421-562, (Chapter 22) · Zbl 0192.10604 |
| [19] | Guido, C., Fuzzy points and attachment, Fuzzy Sets and Systems, 161, 16, 2150-2165 (2010) · Zbl 1206.54006 |
| [20] | Han, J.; Kamber, M., Data Mining: Concepts and Techniques (2001), Morgan Kaufmann Publishers: Morgan Kaufmann Publishers San Francisco |
| [21] | Hazewinkel, M., Magma, Free Magma, Encyclopedia of Mathematics (2001), Springer Verlag: Springer Verlag Berlin, Heidelberg, New York, ISBN 978-1-55608-010-4 |
| [22] | Heymans, H.; Stubbe, I., Symmetry and Cauchy completion of quantaloid-enriched categories, Theory Appl. Categ., 25, 276-294 (2011) · Zbl 1230.06007 |
| [23] | Höhle, U., Conuclei and many valued topology, Acta Math. Hungar., 88, 259-267 (2000) · Zbl 0988.54001 |
| [24] | Höhle, U.; Kubiak, T., A non-commutative and non-idempotent theory of quantale sets, Fuzzy Sets and Systems, 166, 1-43 (2011) · Zbl 1226.06011 |
| [25] | Höhle, U.; Šostak, A. P., Axiomatic foundations of fixed-basis fuzzy topology, (Höhle, U.; Rodabaugh, S. E., Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, The Handbooks of Fuzzy Sets Series, vol. 3 (1999), Springer Verlag, Kluwer Academic Publishers: Springer Verlag, Kluwer Academic Publishers Boston, Dordrecht, London), 123-272, (Chapter 3) · Zbl 0977.54006 |
| [26] | Hong, T.-P.; Tung, Y.-F.; Wang, S.-L.; Wu, Y.-L.; Wu, M.-T., A multi-level ant-colony mining algorithm for membership functions, Inform. Sci., 182, 3-14 (2012) |
| [27] | Hutton, B., Uniformities on fuzzy topological spaces, J. Math. Anal. Appl., 58, 559-571 (1977) · Zbl 0358.54008 |
| [28] | Johnstone, P. T., Stone Spaces (1982), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0499.54001 |
| [30] | Kelly, G. M., Basic concepts of enriched category theory, Reprints in Theory Appl. Categ., 10 (2005) · Zbl 1086.18001 |
| [31] | Lai, H.; Zhang, D., Fuzzy preorder and fuzzy topology, Fuzzy Sets and Systems, 157, 1865-1885 (2006) · Zbl 1118.54008 |
| [32] | Lawvere, F. W., Metric spaces, generalized logic and closed categories, Reprints in Theory Appl. Categ., 1, 1-37 (2002), 〈http://www.tac.mta.ca/tac/reprints/articles/1/tr1.pdf〉 · Zbl 1078.18501 |
| [35] | Mulvey, C. J.; Pelletier, J. W., On the quantisation of points, J. Pure Appl. Algebra, 159, 2-3, 231-295 (2001) · Zbl 0983.18007 |
| [37] | Pu, Q.; Zhang, D., Preordered sets valued in a GL-monoid, Fuzzy Sets and Systems, 187, 1-32 (2012) · Zbl 1262.18008 |
| [38] | Pultr, A.; Rodabaugh, S. E., Lattice-valued frames, functor categories, and classes of sober spaces, (Rodabaugh, S. E.; Klement, E. P., Topological and Algebraic Structures in Fuzzy Sets: A Handbook of Recent Developments in the Mathematics of Fuzzy Sets, Trends in Logic, vol. 20 (2003), Springer Verlag, Kluwer Academic Publishers: Springer Verlag, Kluwer Academic Publishers Boston, Dordrecht, London), 153-187, (Chapter 6) · Zbl 1052.54012 |
| [39] | Rodabaugh, S. E., Necessity of Chang-Goguen topologies, Rend. Circolo Mat. Palermo (Suppl: Ser. II), 29, 299-314 (1992) · Zbl 0795.54007 |
| [40] | Rodabaugh, S. E., Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces, Fuzzy Sets and Systems, 73, 55-87 (1995) · Zbl 0867.54007 |
| [41] | Rodabaugh, S. E., Categorical foundations of variable-basis fuzzy topology, (Höhle, U.; Rodabaugh, S. E., Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, The Handbooks of Fuzzy Sets Series, vol. 3 (1999), Springer Verlag, Kluwer Academic Publishers: Springer Verlag, Kluwer Academic Publishers Boston, Dordrecht, London), 273-388, (Chapter 4) · Zbl 0968.54003 |
| [43] | Rodabaugh, S. E., Necessity of non-stratified and anti-stratified spaces in lattice-valued topology, Fuzzy Sets and Systems, 161, 1253-1269 (2010) · Zbl 1194.54011 |
| [44] | Rosenfeld, A., An Introduction to Algebraic Structures (1968), Holden-Day: Holden-Day New York · Zbl 0165.32601 |
| [46] | Shenoi, S.; Melton, A., Proximity relations in the fuzzy relational database model, Fuzzy Sets and Systems, 31, 285-296 (1989) · Zbl 0677.68113 |
| [47] | Solovjovs, S. A., Variable-basis topological systems versus variable-basis topological spaces, Soft Comput., 14, 10, 1059-1068 (2010) · Zbl 1197.54018 |
| [50] | Vickers, S. J., Topology Via Logic (1989), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0668.54001 |
| [51] | Yao, W.; Shi, F.-G., A note on specialization \(L\)-preorder of \(L\)-topological spaces, \(L\)-fuzzifying topological spaces, and \(L\)-fuzzy topological spaces, Fuzzy Sets and Systems, 159, 2586-2595 (2008) · Zbl 1182.54016 |
| [52] | Zadeh, L. A., Similarity relations and fuzzy ordering, Inform. Sci., 3, 159-176 (1971) · Zbl 0218.02057 |
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.
