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