for A, B being category st A,B have_the_same_composition & not Intersect (A,B) is empty & ( for a being Object of A
for b being Object of B st a = b holds
idm a = idm b ) holds
Intersect (A,B) is subcategory of A