for C being non empty AltCatStr
for O, A being Object of C
for M being Morphism of A,O st O is initial holds
M is epi