for C, D being category
for F being Functor of C,D st F is covariant holds
( F (*) (id C) = F & (id D) (*) F = F )