4 ms·

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. Thos

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 3y ago
Relevant chapter from the book: https://abuseofnotation.github.io/category-theory-illustrated/04_order/ https://abuseofnotation.github.io/category-theory-illustrate...
SantalBlush 3y ago
That makes perfect sense and is very helpful. Thank you.