for C being non empty category
for a, b being Object of C st b is initial & b,a are_isomorphic holds
a is initial