for A, B being Category st A ~= B holds
A is_equivalent_with B