:: deftheorem Def24 defines hom?- ENS_1:def 25 :
for V being non empty set
for C being Category
for a being Object of C st Hom C c= V holds
hom?- (V,a) = hom?- a;