for C being Category
for b being Object of C holds id b is monic