プログラマーのための圏論（下）

『プログラマのための圏論』は(上・中)の後の部分をまとめ(下)にしてPDFファイルにしました。参考にしてください。なお、(上)のホームページはこちら。
(中)のホームページはこちら。