Exponential of right monoid actions
ID: exponential-of-right-monoid-actions
Give the diagonal right monoid action. On its equivariant maps into , define . The evaluation map of an exponential object is and currying of is . Both maps are equivariant, and they are inverse under evaluation. The left multiplication in this right action is essential in a noncommutative monoid.
New to topics? Read the docs here!