for C being Category
for b being Object of C
for g being Morphism of C st dom g = b holds
g (*) (id b) = g