Definition:Order Category

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

Also see

 * Equivalence of Definitions of Order Category
 * Definition:Preorder Category