Syntactic Categories, Adjoint Functors and Monads.

概要

　プログラマ向けのモナドに関する解説。そもそもモナド則って、なんであの形になってるのって思っている方向け。圏の間の”同型”とは何なのか、そこら辺、つまり随伴関手の理論周りから解説する。まあ半分備忘録。