:: deftheorem Def2 defines MorphismsFamily ALTCAT_5:def 2 :
for C being non empty AltCatStr
for o being Object of C
for I being 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 object st i in I holds
ex o1 being Object of C st
( o1 = f . i & b₅ . i is Morphism of o,o1 ) );