Awodey本で途中まで肩慣らししたので、かつては挫折したMac Lane本「圏論の基礎」を再び図書館で借りてみる。 そして分かった。こんなもの最初に読んだらあかん...orz そりゃ挫折するゎ...「はじめに」のところからして既にいぢめ。「カルテシアン積」は1つ…

Learn You a Haskell for Great Good!をpdfにでも変換して読みたいなぁ～と思った。 確かChromeのプラグインかChromiumベースのアプリでできたような... と思ったらChromeの標準機能でできるようだ！ ウェブサイトを簡単にPDF形式で保存する方法 | 山梨県デ…