- the set of morphisms (functions) with domain and codomain . - the hom functor which maps - the hom functor which maps .