本を買った

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

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

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

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