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.