Abstract
In Definition 2.2.1, we have introduced the direct power of a set—modelling the concept of a powerset—and shown that it is uniquely determined up to isomorphism. Even earlier, we have defined the natural projection of a set equipped with an equivalence to the set of its classes. We are now going to handle the direct product and direct sum.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
These operators are conceived so as to be strict , in contrast to what the Argentinian school around Armando Haeberer has propagated some time ago in software specification; [BHSV94].
- 2.
See Sect. 3.2 of [KS00]: http://titurel.org/Papers/RATH-Titel.pdf.
- 3.
Processes may have arguments that are tuples—with the availability of its components varying over time—and in turn produce such results, in a strict or non-strict form. If tuples occur, they may just partially exist. A relational theory of partialities is already fairly developed and may be found in [Sch11a, Sch12].
References
Rudolf Berghammer, Armando Martín Haeberer, Gunther Schmidt, and Paulo A. S. Veloso. Comparing two different approaches to products in abstract relation algebra. In Maurice Nivat, Charles Rattray, Teodore Rus, and Giuseppe Scollo, editors, Algebraic Methodology and Software Technology, Workshops in Computing, pages 167–176. Springer-Verlag, 1994.
Jules Desharnais. Monomorphic characterization of n-ary direct products. Information Sciences, 119:275–288, 1999.
Wolfram Kahl and Gunther Schmidt. Exploring (Finite) Relation Algebras With Tools Written in Haskell. Technical Report 2000/02, Fakultät für Informatik, Universität der Bundeswehr München, October 2000. http://titurel.org/Papers/RelAlgTools.pdf, 158 pages.
Gunther Schmidt. Partiality I: Embedding Relation Algebras. Journal of Logic and Algebraic Programming, 66(2):212–238, 2006. Special issue edited by Bernhard Möller; https://doi.org/10.1016/j.jlap.2005.04.002.
Gunther Schmidt. Partiality II: Constructed Relation Algebras. Journal of Logic and Algebraic Programming, 81(6):660–679, 2012. Special Issue edited by Harrie de Swart, http://dx.doi.org/10.1016/j.jlap.2012.05.005.
Hans Zierer. Programmierung mit Funktionsobjekten: Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung. PhD thesis, Fakultät für Informatik, Technische Universität München, 1988.
Hans Zierer. Relation algebraic domain constructions. Theoret. Comput. Sci., 87:163–188, 1991.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Schmidt, G., Winter, M. (2018). Products of Relations. In: Relational Topology. Lecture Notes in Mathematics, vol 2208. Springer, Cham. https://doi.org/10.1007/978-3-319-74451-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-74451-3_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74450-6
Online ISBN: 978-3-319-74451-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)