Thus $ F:C{C}toC{D} $ is a contravariant functor if it assigns to $ f:ato b $ an arrow $ F(f):F(b)to F(a) $