Category of relations

Rel
Category of Relations Rel.
Relop
Rel's opposite Relop.

In mathematics, the category Rel has the class of sets as objects and binary relations as morphisms.

A morphism (or arrow) R : AB in this category is a relation between the sets A and B, so RA × B.

The composition of two relations R: AB and S: BC is given by:

(a, c) ∈ S o R if (and only if) for some bB, (a, b) ∈ R and (b, c) ∈ S.[1]

Properties

The category Rel has the category of sets Set as a (wide) subcategory, where the arrow (function) f : XY in Set corresponds to the functional relation FX × Y defined by: (x, y) ∈ Ff(x) = y.

The category Rel can be obtained from the category Set as the Kleisli category for the monad whose functor corresponds to power set, interpreted as a covariant functor.

Perhaps a bit surprising at first sight is the fact that product in Rel is given by the disjoint union (rather than the cartesian product as it is in Set), and so is the coproduct.

Rel is monoidal closed, with both the monoidal product AB and the internal hom AB given by cartesian product of sets.

The involutory operation of taking the inverse (or converse) of a relation, where (b, a) ∈ R−1 : BA if and only if (a, b) ∈ R : AB, induces a contravariant functor RelopRel that leaves the objects invariant but reverses the arrows and composition. This makes Rel into a dagger category. In fact, Rel is a dagger compact category.

See also

References

  1. Lane, S. Mac (1988). Categories for the working mathematician (1st ed.). New York: Springer-Verlag. p. 26. ISBN 0-387-90035-7.
This article is issued from Wikipedia - version of the Tuesday, August 25, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.