for C being non empty with_identities CategoryStr
for a being Object of C st a is initial holds
for h being Morphism of a,a holds id- a = h