FP in Scala chapter notes - Chapter 11: Monads
The original is licensed using the MIT license.
モナドのもう一つの圏論的な見方は Eilenberg-Moore 圏だ。モナドの EM 圏は、モナドの代数の圏だ。
例えば、List
モナドの代数は Scala の Monoid
だ。List
モナドの EM 圏は、モノイドを対象 (object) としモノイド準同型(10 章を参照)を射 (arrow) とする圏だ。