Monoids out of Monad algebras
Mar. 25th, 2023 06:41 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
sassa_nfhttps://log.lain.li/blog/algebras-in-list-monad/
This blog is wrong.
In another post we constructed a monad over Maybe (BTree a)). Then a monad algebra for it is σ such that σ Nothing = 0, and σ (Just (BTree Int)) = product of integers in the tree.
And yet it won't give rise to a monoid, because clearly 0 is not Empty for a product monoid.
This blog is wrong.
In another post we constructed a monad over Maybe (BTree a)). Then a monad algebra for it is σ such that σ Nothing = 0, and σ (Just (BTree Int)) = product of integers in the tree.
And yet it won't give rise to a monoid, because clearly 0 is not Empty for a product monoid.
