for C being Cocartesian_category
for a being Object of C holds init a = init ((EmptyMS C),a)