:: deftheorem defines <| YONEDA_1:def 2 :
for A being Category
for a being Object of A holds <|a,?> = hom?- a;