Library Exercise_4_2_1_13

Exercise 4.2.1.13

Problem

We have seen that a preorder can be considered as a category
P. Recall from Definition 3.4.1.1 that a partial order is a
preorder with an additional property. Phrase the defining
property for preorders in terms of isomorphisms in the category
P.