In a Category , we write

to represent all Morphisms between Objects and .
When is a Small Category, then is always a set,
and we call it the hom-set.