もう一つの宿題です。 2. P.80 一番上の図式からP79のf'の可換図が言えるのか 一応、図式ではなく数式に翻訳して解釈してみます。翻訳方法は昨日のエントリの追記部分です。 証明 簡単のため、 O_A,B の 逆向きの同型写像を O_B,Aで表す*1。η_B:B→UFB を、 O…