今日は朝からゼミの聴講があったので早く起きた。 KS圏と半完全環のはなし。非可換環の一般論と、関手圏が自由自在に扱えるようにならないとなぁという気持ちになった。 で、お昼ご飯食べて、ちょっとお昼寝して、ちょっとだけ数学した。Higher ARと技法のゼ…

何時に起きたかは忘れた。 数学をした。まず、例のARCの論文をざっくりではあるが一通り読んだ。明日以降から細かいところを埋めていく。 あとはゼミ準備。完全圏をやった。割とアーベル圏での直感というか、アーベル圏っぽさが結構残っているので思ったより…