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.