Definition:Order Category

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

Also see

 * Preorder Category