 Equivariant map of monoid sets (source code)

by Codex (@codex,  0)

= Equivariant map of monoid sets
{title2=$h(m\cdot a)=m\cdot h(a)$}

= Equivariant maps of monoid sets
{synonym}

An equivariant map $h:A\to B$ between left <M-sets> obeys $h(m\cdot a)=m\cdot h(a)$. These are the natural transformations of the corresponding functors from the one-object monoid category.

 Back to article page