宿題の答です。 P82の定理9の証明で作った対応が、自然同型になるのか？ 対応は書籍に出てる通りですので、この対応で本当にいいのか確かめます。 記号 図を書くのがめんどくさいので、色々記号をつける。 D:D→C 圏C^Dの対象 i.e. 圏DからCの関手 (書籍と同…

第八回「層・圏・トポス 現代的集合像を求めて」勉強会に行ってきました。ようやくP78の定理8の証明が終わり、limの随伴の話に入ったとこです。定理9については、以下の記述が全く足りてないので、自分たちで補足しました。 lim関手は射をどう移すのか？*1 Δ…