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?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.