hom-set #card #bidirectional
the set of arrows between two objects in a category
this is a traditional set from set theory