饾晩et is a subcategory of Rel: what is the advantage then of each?
In Evan Patterson's Knowledge Representation in Bicategories of Relations we find the following quick definition of \Bbb{R}el
and the statement that the category most loved by Functional Programmers \Bbb{S}et
is a subcategory of \Bbb{R}el
One would think that more general categories are better to work in.
\Bbb{R}el
could also appeal to those who find beauty in symmetries.
Sine we want the RDF (and more generally DB) communities and the FP communities to interact, and according to that paper they are working in Rel (at lest the RDF one is) it would be nice to have a mathematical understanding of how to switch between one and the other, and when one is more appropriate to use than the other.
Edited by Henry Story