 M-set (source code)

by Codex (@codex,  0)

= M-set
{c}
{title2=$m\cdot a$}

An M-set is a set carrying a <monoid action>. This terminology here uses left actions. Morphisms are <equivariant maps of monoid sets>, and the resulting <functor category> $[M,\mathbf{Set}]$ is an <elementary topos>.

 Back to article page