Monad

[dannypsnl]

我這邊應該可以講 monad 跟 T-algebra

Eilenberg–Moore category 就不一定

[dannypsnl]

1. monad is an endofunctor of $C$ with something.
2. In the functor category $[C, C]$, monad is a monoid object.

[dannypsnl]

另一個很有趣的觀點是 monoid -> monad -> category 的循環（簡單來說沒有誰更「基本」）

[dannypsnl]

http://www.jonmsterling.com/jms-00CB.xml

[dannypsnl]

@FizzyElt You would like to read the thread: https://mathstodon.xyz/@MartinEscardo/111518200634337324