pdfファイルはここ。"Models of Deduction"の前半部分で省略した計算（Heritage functorがright adjointを持つとか）が書いてあるが、それ以外は特になし。前論文の復習にはいいかも。

起床は10時。洗濯機を廻しながら論文を読む。その後風呂場の掃除。15時頃、散歩もかねて大学へ。ホワイトボードでKJ法の実践。