If MM is a monoid, then MSetM Set or MSetM‑Set is the category of MM-sets. That is, an object of this category is a set XX equipped with an action of MM on XX, 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 (