Note July 6th 2025: this post’s original title was “A list is a monad”. It has been changed to “List is a monad”. Note Sept 13 2025: this post has been revised based on the feedback from the Hacker ...
Abstract: Coproducts of monads on $\Set$ have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on $\Set$ by an initial algebra ...
Keone Hon is the co-founder and CEO of Monad Labs. He previously led a high-frequency trading team at Jump Trading for eight years before transitioning to Jump Crypto to focus on blockchain research ...