hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 数学 宿題の答です。 P82の定理9の証明で作った対応が、自然同型になるのか？ 対応は書籍に出てる通りですので、この対応で本当にいいのか確かめます。 記号 図を書くのがめんどくさいので、色々記号をつける。 D:D→C 圏C^Dの対象 i.e. 圏DからCの関手 (書籍と同じ記号) X:圏Cの対象 (書籍と同じ記号) i, j:圏Dの対象 (書籍と同じ記号) D_i = D(i), D_j = D(j) (書籍と同じ記号) D': D_i, D_j, ... を集めたもの i.e. 圏Dの関手Dによる像 (書籍と同じ記号) φ:C^D(ΔX, D)→C(X, lim D) 書籍で作った右向きの対応 φ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20090823%2F1251038860" title="層・圏・トポス P82の定理9 - Pixel Pedals of Tomakomai" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/h/hiratara/20090823/20090823235447.jpg Hatena Blog https://hatena.blog 2009-08-23 23:47:40 rich https://hiratara.hatenadiary.jp/entry/20090823/1251038860 1.0 100%