Hom-set #card #bidirectional
the set of arrows between two objects in a category
this is a traditional set from Set Theory
Hom-set can have multiple arrows
Every Hom-set is an empty set or a singleton set