Article ID Journal Published Year Pages File Type
432326 The Journal of Logic and Algebraic Programming 2008 15 Pages PDF
Abstract

The relational product construction is often consider as an abstract version of cartesian products. The existence of those products is strongly connected with the representability of that category. In this paper we investigate 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 provide several examples, and we study the categorical properties of the new construction.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics