最近和訳された『ベーシック圏論』はいい本だと思うのですが、これもある程度色々な数学的構造を知ってることを前提に書かれてるんですよね…僕もまだ途中までしか読めてません。

12:58 PM

あ、そうだ、僕はまだ読んでませんが「プログラマのための圏論」というのがありました。 (edited)

12:59 PM

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

1:00 PM

このブログの著者は実は退官された大学教授で、65歳から圏論を始めたそうですw (edited)

1:01 PM

1:01 PM

過去に僕がやっていた勉強会に登壇して頂きました

️ （講演のお願いをした時点では大学教授だということは知らなかったので驚きました

） (edited)