:: deftheorem Def16 defines MORPHISM CAT_7:def 16 :
for C being non empty category
for f being morphism of C
for b₃ being covariant Functor of (OrdC 2),C holds
( b₃ = MORPHISM f iff for g being morphism of (OrdC 2) st not g is identity holds
b₃ . g = f );