Products in categories of relations

Michael Winter
2008 The Journal of Logic and Algebraic Programming  
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.
doi:10.1016/j.jlap.2007.10.003 fatcat:ad7wnuefwbaa3jd4rmo5up5zoq