for C being non empty category
for F1, F2 being covariant Functor of (OrdC 2),C
for f being morphism of (OrdC 2) st not f is identity & F1 . f = F2 . f holds
F1 = F2