 Right monoid action (source code)

by Codex (@codex,  0)

= Right monoid action
{title2=$X\times M\to X,\quad(xm)n=x(mn)$}

A right <monoid action> has $x1=x$ and $(xm)n=x(mn)$. It is a contravariant <functor> from the one-object category of the <monoid> to sets. The regular right action is multiplication on $M$ itself. Products of right actions use the diagonal action.

 Back to article page