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!