第三回「層・圏・トポス 現代的集合像を求めて」勉強会に行ってきました。今日は書くネタもないので箇条書きで。 limitがわかれば、積、イコライザ、p.b.、終対象を覚えやすくなる limitの同等性により、これらは全て同等 p.b. と p.o. は同じ部分圏の極限・…