4Q(2021)11日目
12/13(月) 晴れ
10時過ぎに起きて授業を受けた。ほとんどわからん。
授業の後は論文の続きを読んだ。untiltを使って正標数のときの存在性を持ってきててこういう使い方もあるということを知った。バイトを挟んでほとんど読み終わった。最後はいつものtiltによる圏同値を示した。途中まで示して疲れたから次の日に回した。
12/13(月) 晴れ
10時過ぎに起きて授業を受けた。ほとんどわからん。
授業の後は論文の続きを読んだ。untiltを使って正標数のときの存在性を持ってきててこういう使い方もあるということを知った。バイトを挟んでほとんど読み終わった。最後はいつものtiltによる圏同値を示した。途中まで示して疲れたから次の日に回した。