Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids → Orders → [[Pre-order]] #card #bidirectional →
#
>

0 or 1 arrows (relations) between any two objects

→