The category of types with binary relations as morphisms.


category_theory.Rel

A type synonym for Type, which carries the category instance for which morphisms are binary relations.

category_theory.rel

The category of types with binary relations as morphisms.