A morphism of a Category is an element of the set Each morphism has two associated Objects, namely and and we write or Isomorphism