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