Definition:Order Category

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

Also known as
In sources which address ordered sets as posets, such a category is usually named poset category.

Also see

 * Definition:Preorder Category