nLab
MSet

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

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