第三回「層・圏・トポス 現代的集合像を求めて」勉強会に行ってきました。
今日は書くネタもないので箇条書きで。
- limitがわかれば、積、イコライザ、p.b.、終対象を覚えやすくなる
- limitの同等性により、これらは全て同等
- p.b. と p.o. は同じ部分圏の極限・余極限の関係にないから注意
- 逆に積・イコライザ・終対象の存在から有限部分圏のlimitを構築できる(P.68に証明がのってないから、宿題で)
- 米田の補題
第三回「層・圏・トポス 現代的集合像を求めて」勉強会に行ってきました。
今日は書くネタもないので箇条書きで。