Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids → [[Hom-set]] #card #bidirectional → the set of arrows between two objects in a category →
#
>

this is a traditional set from set theory

→