A monoid is a category, a category is a monad, a monad is a monoid
Are there really that many people on NH that can understand this?<p>I'm not trying to be snarky, I'm legitimately interested. It seems like this class of knowledge is highly specialized, yet I see posts like these high up on NH frequently.