Definition:Preorder Category

Equivalence of Definitions
That the above definitions are equivalent is shown on Equivalence of Definitions of Preorder Category.

Also see

 * Definition:Order Category


 * Preorder Category is Category
 * Category Induces Preorder
 * Preorder Induced by Preorder Category