:: deftheorem Def4 defines Category-like CAT_1:def 6 :
for C being non empty non void CatStr holds
( C is Category-like iff for f, g being Morphism of C holds
( [g,f] in dom the Comp of C iff dom g = cod f ) );