theorem Th50: :: CAT_6:49

for C1, C2 being Category st alter C1 ~= alter C2 holds
C1 ~= C2