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