theorem Th49: :: CAT_6:48

for C, D being Category
for F being covariant Functor of (alter C),(alter D) holds F is Functor of C,D