Preorders as categories #
We install a category instance on any preorder. This is not to be confused with the category of
preorders, defined in
We show that monotone functions between preorders correspond to functors of the associated categories.
Main definitions #
The category structure coming from a preorder. There is a morphism
X ⟶ Y if and only if
X ≤ Y.