for C being non empty non void CatStr
for f being Morphism of C holds f is Morphism of dom f, cod f