tags : [[category theory]]
source : [[ACT4E - Session 2 - Connection]]
A relation is a special type of [[category]]. A relation is a subset of the Cartesian product \(X \times Y\).