for B, C being Category
for S being Functor of C opp ,B holds /* S is Contravariant_Functor of C,B