theorem Th90: :: CLASSES5:88

for C, D being strict Category st C ~= D holds
CatToSet C ~= CatToSet D