:: deftheorem Def3 defines MorphismsFamily ALTCAT_5:def 3 :
for C being non empty AltCatStr
for o being Object of C
for I being non empty set
for f being ObjectsFamily of I,C
for b₅ being ManySortedSet of I holds
( b₅ is MorphismsFamily of o,f iff for i being Element of I holds b₅ . i is Morphism of o,(f . i) );