6/26(日) 晴れ 8時に起きた。午後にゼミが二つあるのでそれまで一つ問題を考えてた。関手性みたいなものがほしいんだけどできると思ってた操作が金曜日のセミナーでうまくいってないことに気づいた。真面目に考えないといけなくなったので考える。色々考えて…

6/26(土) 晴れ 9時位に起きてたはず。とりあえず昨日の続きを読んで一段落するところまで読んでた。まあ結構難しくてあんまりわからなかったけど。わからないところをメモっておいた。基本的に帰着のところでわからなくなってた。専門用語で定義されているも…