Catégorie des relations

En mathématiques, plus précisément en théorie des catégories, la catégorie des relations, notée Rel, est la catégorie dont les objets sont les ensembles et dont les morphismes sont les relations binaires entre ces ensembles.

La composition de deux relations R ⊆ A × B et S ⊆ B × C est donné par

(a, c) ∈ S o R ⇔ ∃ b ∈ B, (a, b) ∈ R et (b, c) ∈ S^[1].

Propriétés générales

Rel est isomorphe à Rel^op, en effet, on peut associer uniquement à toute relation sa relation réciproque^[2].

Rel est une catégorie cartésienne:

Π_{i \in I} E_{i} = \cup_{i \in I} ({i} \times E_{i})

où les projections sont données par :

\begin{matrix} π_{i} : Π_{i \in I} E_{i} \to E_{i}, \\ π_{i} = {((i, e), e) | e \in E_{i}} . \end{matrix}