This entry is about dual relations, un-related to correlation.
Rel, bicategory of relations, allegory
left and right euclidean;
extensional, well-founded relations.
The notion of co-relations is the formal dual to that of relations, thus referring to jointly epimorphic cospans
In a category with coproducts, all co-relations factor through the coproduct of $X$ and $Y$. In fact, just as relations can be considered as subobjects of the Cartesian product, so corelations can be considered quotients of the coproduct (esp. when $X+Y \to P$ is a regular epimorphism).
Last revised on April 3, 2024 at 12:43:44. See the history of this page for a list of all contributions to it.