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

『プログラマのための圏論』はこれまでの分をまとめてPDFファイルにしました。参考にしてください。