(label) The set or collection of all morphisms from ''A'' to ''B'' for some given ordered pair (''A'', ''B'') of objects from some given category.