ジュンク堂
新宿でジュンク堂寄ってきたらつい本を数冊買ってしまいました。
圏論による論理学―高階論理とトポス | |
清水 義夫 Amazonで詳しく見る by G-Tools |
まともに読む気ゼロ。1回気になったジャンルは買わないと気がすまないし、
無性に読みたくなったとき即座に読めるように買っておく感じ。
モナドに関する事は書いてないけど関手あたりの説明がわかりやすそうな気配。
しかし圏論の概念は新鮮。学生の頃嵌まった集合位相論とか関数解析の関数空間
(物理学だとヒルベルト空間)とか数学基礎論等には無かった概念、
ってかこれってクラスじゃね?と思いました。
※といってもその頃の知識は綺麗さっぱり忘れているので似たような概念はあったかも?