An arrow between two objects in a category. The collection of morphisms between two objects in a category is called its hom-set.