the set of arrows between two objects in a category

→

this is a traditional set from set theory

→