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.

- See also Understanding M-Set

category: category

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