4Q(2021)13日目

12/15(水)　晴れ

10時過ぎに起きた。なんか今日は全体的にやる気が起きなくてとりあえず証明を全部飛ばして命題だけ目を通して何を示そうとしているのかをまとめた。結局何がわかってないのかを考えたけどalmost perfectoidとかuntiltとかノルムを用いた議論あたりだと思う。

グダグダ過ごしていつの間にか夜だった。何をやったわけでもないけど明日のために少し現状をまとめてた。何もやってなかったからツイッターにいる時間が増えていたのかもしれない。

寝る前になってなんか突然やりたくなったからalmost mathmaticsのちょっとしたところを読み直そうとした。夜も夜だったのであんまり進まなかったけど。とりあえずalmost moduleとかに関する関手を定義した。ここらへんは商圏の射に関する事実を一つ認めてしまえば問題なくわかった気になっている。最後のalmost algebraの構成についてはちょっと何だこりゃとなったので明日また考え直すことが必要そう。これについては随伴性についての証明を読んだほうが良いかもしれない。

眠くなったのと明日は大事な予定があるので寝る。午前中は今日の続きの随伴性の証明について読もうと思う。あとその続き。