Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids → Thick Categories #card #bidirectional →
#
>

If there is an arrow between two objects those objects have a relation

→