Abstract
The existence of relational products in categories of relations is strongly connected with the representability of that category. In this paper we propose a canonical weakening of the notion of a relational product. Unlike the strong version, any (small) category of relations can be embedded into a suitable category providing all weak relational products. Furthermore, we investigate the categorical properties of the new construction and prove several (weak) versions of propositions well-known for relational products.
This is a preview of subscription content, log in via an institution to check access.
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
Asperti, A., Longo, G.: Categories, Types and Structures. The MIT Press, Cambridge (1991)
Berghammer, R., Haeberer, A., Schmidt, G., Veloso, P.A.S.: Comparing two different approaches to products in abstract relation algebra. Algebraic Methodology and Software Technology. In: Proc. 3rd Int’l Conf. Algebraic Methodology and Software Technology (AMAST’93), pp. 167–176. Springer, Heidelberg (1994)
Desharnais, J.: Monomorphic Characterization of n-ary Direct Products. Information Sciences 119(3-4), 275–288 (1999)
Furusawa, H., Kahl, W.: A Study on Symmetric Quotients. Technical Report 1998-06, University of the Federal Armed Forces Munich (1998)
Freyd, P., Scedrov, A.: Categories. Allegories, North-Holland (1990)
Maddux, R.D.: On the Derivation of Identities involving Projection Functions. In: Csirmaz, G., de Rijke (eds.) Logic Colloquium 1992, pp. 145–163. Center for the Study of Language and Information Publications, Stanford (1995)
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 and systems 72, 167–178 (1995)
Schmidt, G., Ströhlein, T.: Relationen und Graphen. Springer, Heidelberg (1989); English version: Relations and Graphs. Discrete Mathematics for Computer Scientists. In: EATCS Monographs on Theoret. Comput. Sci., Springer, Heidelberg (1993)
Winter, M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertationsverlag NG Kopierladen GmbH, München (1998)
Zierer, H.: Relation algebraic domain constructions. TCS 87, 163–188 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winter, M. (2006). Weak Relational Products. In: Schmidt, R.A. (eds) Relations and Kleene Algebra in Computer Science. RelMiCS 2006. Lecture Notes in Computer Science, vol 4136. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11828563_28
Download citation
DOI: https://doi.org/10.1007/11828563_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37873-0
Online ISBN: 978-3-540-37874-7
eBook Packages: Computer ScienceComputer Science (R0)