:: deftheorem Def2 defines MorphismsFamily ALTCAT_6:def 2 :
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 f,o iff for i being Element of I holds b₅ . i is Morphism of (f . i),o );