[ginnungagap]

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

[boris_m]

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

[SantalBlush]

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