:: deftheorem Def3 defines the_hom_sets_of ALTCAT_2:def 3 :
for C being non empty non void CatStr
for b₂ being ManySortedSet of [: the carrier of C, the carrier of C:] holds
( b₂ = the_hom_sets_of C iff for i, j being Object of C holds b₂ . (i,j) = Hom (i,j) );