reserve B,C,D for Category;

theorem
  for a,b being Object of C opp st Hom(a,b)<>{}
  for f being Morphism of a,b
