Let (X,≤) be a partially ordered set. Define a category C whose objects are the elements of X, while for the morphisms there is a single arrow x→y iff x≤y. Those are called posetal categories and are often used as examples

Relevant chapter from the book: https://abuseofnotation.github.io/category-theory-illustrate...

That makes perfect sense and is very helpful. Thank you.