ホモロジー代数のゼミでした。遅刻してごめんなさい。やっぱり圏論よくわかってないというか、著しく理解力が下がります。悲しい。 来年度(というのは来月以降のことですが)の必修のセミナーの割り当てが決まりました。希望が通って一安心です。教科書もAmaz…

空でない有限集合たちのinverse limitが空でないことについては、この前教えてもらった位相的な証明しか覚えていない*1のですが、地道な証明はどうやるのでしょうねぇ。 *1:各D_iに離散位相を入れると、ΠD_iはコンパクトだからFIPが使えて、空でないことがわ…