theorem Th14: :: ALTCAT_4:14

for C1, C2 being non empty AltCatStr
for F being Contravariant FunctorStr over C1,C2 holds
( F is full iff for o1, o2 being Object of C1 holds Morph-Map (F,o2,o1) is onto )