for C, D being non empty category
for F being covariant Functor of C,D holds F is Functor of Alter C, Alter D