If $M$ is a monoid, then $M Set$ or $M‑Set$ is the category of $M$-sets. That is, an object of this category is a set $X$ equipped with an action of $M$ on $X$, and a morphism is an equivariant function.

Don’t confuse this with the category of multisets.

- See also Understanding M-Set

category: category

Last revised on October 30, 2009 at 19:37:11. See the history of this page for a list of all contributions to it.