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