theorem Th1: :: ALTCAT_5:1

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