If I try to update the page algebra over a monad, it says “500 internal server error”. Other pages seem to be fine.

]]>I feel that, while the concept of algebra over a monad is of course an instance of the more general module over a monad, it could benefit from having its own dedicated page, with motivation from other fields and dedicated examples.

If I get a green light from enough people here, I can create the page myself (and replace the redirection by links both ways).

]]>I would like to add content to the nLab about the costrength of a monad. I could either (significantly) modify the strong monad page, or create a separate dedicated page. Any thoughts?

]]>I believe commutative monad should redirect to monoidal monad and not to commutative algebraic theory (but of course have a link to the latter). Is anyone disagreeing?

]]>On the nLab there are several links to a (nonexistent) page monoid object which are then redirected to monoid, while I think they should be redirected to monoid in a monoidal category, since we are talking about *internal* monoids. How can this be done systematically?