Category of relations

From Wikipedia, the free encyclopedia

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

This category theory-related article is a stub. You can help Wikipedia by expanding it.