A monad is just a monoid in the category of endofunctors, whats the problem?

2024-09-23 | code | haskell, monads, category-theory, monoids

问题描述

Who first said the following?A monad is just a monoid in the category of endofunctors, what's the problem?And on a less important note, is this true and if so could you give an explanation (hopefully one that can be understood by someone who doesn't have much Haskell experience)?

提示词

None
Loading...