:: deftheorem Def26 defines hom?? ENS_1:def 27 :
for V being non empty set
for C being Category st Hom C c= V holds
hom?? (V,C) = hom?? C;