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

Every Hom-set is an empty set or a singleton set

→