There is a free commutative monoid monad. There should also be a free monoid monad. There should be maps between the monads. How do we define maps between monads? There should be a forgetful functor between the category of free monoids and the category of free commutative monoids. What is the relationship between the functor and the map between the monads?
I think you can take a free commutative monoid (say finitely presented) and just forget the axiom at $ab=ba$ and that should give you the functor from free commutative monoids to free monoids. Does that sound right? I imagine that you can have a category of monads, and a map between them should be a natural transformation between the endofunctors of the monads, but you also need higher order maps between all of the natural transformations. That data should specify the map. It sounds like somethign that should live in an n-category where n is suitably chosen. I could use some help though. And then further, there should be some kind of equivalence between the maps in the category of monads and the functors between the categories, but I don't know what the theory of that is.