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

There is an arrow between any two objects

→