Equivariant map of monoid sets
ID: equivariant-map-of-monoid-sets
An equivariant map between left M-sets obeys . These are the natural transformations of the corresponding functors from the one-object monoid category.
New to topics? Read the docs here!