Is there an established name for this kind of function composition?

22 Views Asked by At

$$ f : A → B $$ $$ g : A×B → C $$ $$ Cont(g, f)(x) = g(x, f(x)) $$ Is there an established name for $Cont$ operation?

1

There are 1 best solutions below

2
On BEST ANSWER

$Cont(g,f)=g\circ (\rm Id_X\times f)$. So it is not just similar to function composition, it is function composition.