for C being Category
for f, g being Morphism of C st dom g = cod f holds
g (*) f = the Comp of C . (g,f)