3Q(2021)39日目

11/8(月)　晴れ

何やってたか覚えてない。午前中は授業を受けて午後はゲームをした後数学してバイトに行った。pro-etaleの合成がまたpro-etaleになることを示したいんだけどそのためにpro-systemというかpro-objectを考えないといけなくてそういう圏の言葉知らないので調べて考えていた。でも結局よくわからなかった。続きを眺めてた。

どうもちょっと進みが悪い気がする。夜もそれ考えてたけど途中で寝ちゃって日記を書いているのは11/9のこと。