Computational Category Theory を読む
輪読対象の書籍の中でカテゴリー理論が出てくるので、以前列挙してあったが読んでなかった Computational Category Theory を読むことにした。
大体の圏論の本は、その進み方が定理の証明が続く形式(輪読対象もそう)である。だが、この本はStandard MLのコードが続くのである。自分の場合、概念の定義に定理証明が続くと、途中でわからなくなってしまうが、ところどころコードになっていればとりあえずは確認はできるタイプなので、こういうスタイルはありがたい。
