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

Arrows, morphisms can be thought of as relations, like $$\leq$$

→