theorem :: CAT_6:42

for A, B being Category
for F being Functor of A,B holds F is covariant Functor of (alter A),(alter B)