http://d.hatena.ne.jp/bellbind/20050902/p3 輪読対象の書籍の中でカテゴリー理論が出てくるので、以前列挙してあったが読んでなかった Computational Category Theory を読むことにした。 http://www.cs.man.ac.uk/~david/categories/book/book.pdf 大体の…