for C, D being empty with_identities CategoryStr holds C ~= D