Loading Open Internet
    Is there a name for the relation between abstract arbitrary morphisms such that f∘g = h∘f? And what about f(g) = h(f)?