ヒビルテ経由、ここからダウンロード。先々週に8割読んでいて、残り数ページを本日やっと読了。 LawvereやHuwig-Poigne' の結果（各種の対角線論法を圏論の言葉で書き直し一般化する）を、圏論の言葉を使わずに紹介したもの。圏論の用語を使わずに同じ形のダ…

よく晴れた日、花粉も飛ぶ。起床は10時半。義父母と義妹・姪二人の訪問。昼食はミネストローネと頂いたステーキ。食後、義父の車でそろって某ケーキ屋へ行き、ケーキを買ってくる。フランボワーズ・シェリー。後は奥に引っ込んで発表準備。16時頃に彼らが帰…