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!