$$ f : A → B $$ $$ g : A×B → C $$ $$ Cont(g, f)(x) = g(x, f(x)) $$ Is there an established name for $Cont$ operation?
2026-04-14 21:33:38.1776202418
Is there an established name for this kind of function composition?
22 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
$Cont(g,f)=g\circ (\rm Id_X\times f)$. So it is not just similar to function composition, it is function composition.