for C being Category
for a, b being Object of C st id a = id b holds
a = b