Abstract
A Dedekind category is a convenient algebraic framework to treat relations. Concepts of points and some axioms such as the point axiom, the axiom of totality, the axiom of subobject, the axiom of complement, and the relational axiom of choice are introduced in Dedekind categories to connect functional ideas to set-theoretical intuition. This paper summarises interrelations of these axioms.
This work was supported in part by Grants-in-Aid for Scientific Research (C) 22500016 from Japan Society for the Promotion of Science (JSPS).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Freyd, P., Scedrov, A.: Categories, allegories. North-Holland, Amsterdam (1990)
Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145–157 (1967)
Ishida, T., Honda, K., Kawahara, Y.: Formal Concepts in Dedekind Categories. In: Berghammer, R., Möller, B., Struth, G. (eds.) RelMiCS/AKA 2008. LNCS, vol. 4988, pp. 221–233. Springer, Heidelberg (2008)
Kawahara, Y., Furusawa, H.: An algebraic formalization of fuzzy relations. Fuzzy Sets and Systems 101, 125–135 (1999)
MacLane, S.: Categories for the working mathematician, 2nd edn. Springer (1998)
Olivier, J.-P., Serrato, D.: Catégories de Dedekind. Morphismes dans les Catégories de Schröder. C. R. Acad. Sci. Paris 260, 939–941 (1980)
Schmidt, G., Ströhlein, T.: Relation algebras: Concept of points and representability. Discrete Mathematics 54, 83–92 (1985)
Tarski, A.: On the calculus of relations. J. Symbolic Logic 6, 73–89 (1941)
Winter, M.: Goguen Categories. A Categorical Approach to L-Fuzzy Relations. Trends in Logic, vol. 25. Springer (2007)
Winter, M.: Complements in Distributive Allegories. In: Berghammer, R., Jaoua, A.M., Möller, B. (eds.) RelMiCS/AKA 2009. LNCS, vol. 5827, pp. 337–350. Springer, Heidelberg (2009)
Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Furusawa, H., Kawahara, Y. (2012). Point Axioms in Dedekind Categories. In: Kahl, W., Griffin, T.G. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2012. Lecture Notes in Computer Science, vol 7560. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33314-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-33314-9_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33313-2
Online ISBN: 978-3-642-33314-9
eBook Packages: Computer ScienceComputer Science (R0)