Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids → Orders →
#
>

Total Order

→
#
>

There is an arrow between any two objects

→