for C being Cocartesian_category
for a, b being Object of C holds (id a) + (id b) = id (a + b)