I have another blog that doesn't suck. Archive:
Comments disabled |
The more I think about this, the more it seems to me that a monad is not at all a monoid in the category of endofunctors, but actually a monoidal subcategory. That's the problem.
|