Exponential of right monoid actions ($Y^X={\mathrm{Hom}}_M(M\times X,Y)$)

Give $M\times X$ the diagonal right monoid action. On its equivariant maps into $Y$, define $(ek)(g,x)=e(kg,x)$. The evaluation map of an exponential object is $e(1,x)$ and currying of $h:Z\times X\to Y$ is $\hat{h}(z)(g,x)=h(zg,x)$. Both maps are equivariant, and they are inverse under evaluation. The left multiplication $kg$ in this right action is essential in a noncommutative monoid.

For a group, evaluation at the identity identifies the monoid exponential with all set functions $X\to Y$. Its inverse is $e_f(g,x)=f(x{g}^{-1})g$, and the resulting function action is the displayed formula. Fixed functions are precisely equivariant maps. The inverse on the input is necessary for equivariance of evaluation and for the right-action law.