Monads (3)

読書会扱いに。

• Francis Borceux, Handbook of Categorical Algebra 2: Categories and Structures, Cambridge UP, 1994

のモナドのところを読んでいる。分かる人が丁寧にやっているので証明は追えるのだが、一般論すぎてこれが何なのかいまいち分からない。adjoint functerの組から代数が作れるあたりはいろいろな応用がありそうだが。