bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

本を買った

久々に難しそうな本を大人買い

Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)

Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)

なんつか重い。ペーパーバックのくせに1.2kgもあって、自分のノートPCより重い。値段も相応。

fibred category ベース の type theory と logic の本。最初の3章くらいは読めるか?
積読になる可能性も大だけど。

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。