Abstract
Arrow categories establish a suitable framework to reason about L-fuzzy relation abstractly. For each arrow category we can identify the Heyting algebra L that is used as the lattice of membership or truth values by the relations of the category. Therefore, arrow categories model the fixed-base approach to L-fuzziness, i.e., all relations of the given arrow category use the same membership values. In this paper we are interested in the process of changing the base, i.e., an operation that allows to switch from an \(L_1\)-fuzzy relation to an \(L_2\)-fuzzy relation by replacing all membership values from \(L_1\) by values from \(L_2\). We will define and investigate this change of base between two abstract arrow categories for which component-wise reasoning cannot be performed.
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
Berghammer, R., Winter, M.: Decomposition of relations and concept lattices. Fundamenta Informaticae 126, 37–82 (2013)
Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland Mathematical Library, vol. 39, North-Holland, Amsterdam (1990)
Furusawa, H., Kahl, W.: A study on symmetric quotients. University of the Federal Armed Forces Munich, Bericht Nr. 1998-06 (1998)
Kawahara Y., Furusawa, H.: Crispness and representation theorems in dedekind categories. DOI-TR 143, Kyushu University (1997)
Mendel, J.M.: Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions. Prentice-Hall, Hoboken (2001)
Schmidt, G., Ströhlein, T.: Relations and graphs. Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993). https://doi.org/10.1007/978-3-642-77968-8
Schmidt, G.: Relational Mathematics. Encyclopedia of Mathematics and Its Applications, vol. 132. Cambridge University Press, Cambridge (2011)
Winter, M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertationsverlag NG Kopierladen GmbH, München (1998)
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. Trends in Logic, vol. 25, Springer, Cham (2007). https://doi.org/10.1007/978-1-4020-6164-6
Winter, M.: Arrow categories. Fuzzy Sets Syst. 160, 2893–2909 (2009)
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.: Relational sums and splittings in categories of L-Fuzzy relations. In: Fahrenberg, U., Gehrke, M., Santocanale, L., Winter, M. (eds.) RAMiCS 2021. LNCS, vol. 13027, pp. 435–449. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-88701-8_26
Winter, M.: Fixed Point Operators in Heyting Categories (in preparation)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Winter, M. (2021). Change of Base Using Arrow Categories. In: Fahrenberg, U., Gehrke, M., Santocanale, L., Winter, M. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2021. Lecture Notes in Computer Science(), vol 13027. Springer, Cham. https://doi.org/10.1007/978-3-030-88701-8_27
Download citation
DOI: https://doi.org/10.1007/978-3-030-88701-8_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-88700-1
Online ISBN: 978-3-030-88701-8
eBook Packages: Computer ScienceComputer Science (R0)