Can cartesian product of several (not necessarily binary) relations be described in categorical terms?
Don't propose me direct product in the category Set, as it does not preserve the structure of relations.
Can cartesian product of several (not necessarily binary) relations be described in categorical terms?
Don't propose me direct product in the category Set, as it does not preserve the structure of relations.