The category of types with binary relations as morphisms.
A type synonym for Type
, which carries the category instance for which
morphisms are binary relations.
Instances For
The category of types with binary relations as morphisms.
Mathlib.CategoryTheory.Category.RelCat
The category of types with binary relations as morphisms.
A type synonym for Type
, which carries the category instance for which
morphisms are binary relations.
The category of types with binary relations as morphisms.