Diary?

(01:16)

『第八回「層・圏・トポス 　現代的集合像を求めて」勉強会』に行ってきた。今回はこれまで数週にわたって苦しめられてきた随伴関手（というか定理8）を片付けて、ようやくその先に進むことができた。いや、何が大変だったって「層・圏・トポス」は定理の証明ステップが途中で終わって「あとは自分で考えろ」になってる部分が多々あるので、それらを真面目に証明していくとかなり消耗する（時々まるごと省かれてたりもする）。確かに訓練にはなるので、決して悪いことではないとは思うけど。

ちなみに定理8の証明のいくつかは、あのマインドブレーカー本である「圏論の基礎」の方にちゃんとしたステップが載っている事があり、今回俺は定理8の4)→1)のステップはそっち見ないと全然手がかりの欠片すら掴めなかった（圏論の基礎でp106の最下段ぐらいから始まる定理2がそれ）。まだまだ修行不足にもほどがあるなあ。