theorem Th1: :: ALTCAT_6:1

for C being non empty AltCatStr
for o being Object of C
for f being ObjectsFamily of {},C holds {} is MorphismsFamily of f,o