# nLab MSet

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.

category: category

Revised on October 30, 2009 19:37:11 by Eric Forgy (65.163.59.49)