John Baez wrote:
>First of all, can you (or anyone) guess what a functor \$$F: M \to N\$$ amounts to in this case? It's something familiar from the study of monoids.

I believe that's just a monoid homomorphism.