Abstract
In this paper we focus on a fuzzy version of the so-called (un)sharpness property of relational products in arrow/fuzzy categories. It is shown that the fuzzy version can be reduced to a regular (un)sharpness problem. As a consequence we obtain that relational products are also sharp in the fuzzy sense if all relational products and powers exist. This result is important in applications of arrow/fuzzy categories since relational products, and, hence, the fuzzy version of the (un)sharpness problem, are integral components of these applications.
The author gratefully acknowledges support from the Natural Sciences and Engineering Research Council of Canada (283267).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Desharnais, J.: Monomorphic characterization of \(n\)-ary direct products. Inf. Sci. 119(3–4), 275–288 (1999)
Furusawa, H., Kahl, W.: A Study on Symmetric Quotients. University of the Federal Armed Forces Munich, Bericht Nr. 1998–06 (1998)
Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland Mathematical Library, vol. 39. North-Holland, Amsterdam (1990)
Kawahara, Y., Furusawa, H.: Crispness and representation theorems in Dedekind categories. DOI-TR 143, Kyushu University (1997)
Maddux, R.: On the derivation of identities involving projection functions. In: Csirmaz, L., Gabbay, D., de Rijke, M. (eds.) Logic Colloquium ’92. Studies in Logic, Languages, and Information, pp. 143–163. CSLI Publications (1995)
Imangazin, N., Winter, M.: A Relation-Algebraic Approach to \(L\)-Fuzzy Topology. Submitted to Relational and Algebraic Methods in Computer Science (RAMiCS 2019) (2019)
Olivier, J.P., Serrato, D.: Catégories de Dedekind. Morphismes dans les Catégories de Schröder. C.R. Acad. Sci. Paris 290, 939–941 (1980)
Olivier, J.P., Serrato, D.: Squares and rectangles in relational categories - three cases: semilattice, distributive lattice and Boolean non-unitary. Fuzzy Sets Syst. 72, 167–178 (1995)
Schmidt, G., Ströhlein, T.: Relations and Graphs. Springer, Berlin (1993). https://doi.org/10.1007/978-3-642-77968-8
Schmidt, G.: Relational Mathematics. Cambridge University Press, Cambridge (2011)
Schmidt, G., Winter, M.: Relational Topology. LNM, vol. 2208. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-319-74451-3
Winter, M.: A new algebraic approach to \(L\)-fuzzy relations convenient to study crispness. INS Inf. Sci. 139, 233–252 (2001)
Winter, M.: Goguen Categories - A Categorical Approach to \(L\)-fuzzy Relations. Springer, Berlin (2007). https://doi.org/10.1007/978-1-4020-6164-6
Winter, M.: Arrow categories. Fuzzy Sets Syst. 160, 2893–2909 (2009)
Winter, M.: Membership values in arrow categories. Fuzzy Sets Syst. 267, 41–61 (2015)
Winter, M.: Type-n arrow categories. In: Höfner, P., Pous, D., Struth, G. (eds.) RAMICS 2017. LNCS, vol. 10226, pp. 307–322. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57418-9_19
Winter, M.: T-norm based operations in arrow categories. In: Desharnais, J., Guttmann, W., Joosten, S. (eds.) RAMiCS 2018. LNCS, vol. 11194, pp. 70–86. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-02149-8_5
Zierer, H.: Programmierung mit Funktionsobjekten: Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung. Dissertation, TU München, TUM-I8803 (1988)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Winter, M. (2020). Sharpness in the Fuzzy World. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2020. Lecture Notes in Computer Science(), vol 12062. Springer, Cham. https://doi.org/10.1007/978-3-030-43520-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-43520-2_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-43519-6
Online ISBN: 978-3-030-43520-2
eBook Packages: Computer ScienceComputer Science (R0)