Catégorie des relations
De Wikipedia, l'encyclopédie encyclopedia
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.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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].