:: deftheorem Def22 defines identity-preserving CAT_6:def 22 :
for C, D being with_identities CategoryStr
for F being Functor of C,D holds
( F is identity-preserving iff for f being morphism of C st f is identity holds
F . f is identity );