hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 数学 定理13の証明がよくわかりません・・・。とりあえずぱっと読んで消化できなかったのは、以下2点です。 A(FB, DA) ≃ B(B, UDA)は言えるけど、lim A(FB, D-) ≃ lim B(B, UD-) が言えるのか B(B, U lim D) ≃ B(B, lim UD) から、U lim D ≃ lim UD が言えるのか なお、この定理に近い定理は、マックレーン本P157の定理1に出ています。ただしマックレーン本では、lim D が存在する時に lim UD ≃ U lim D は言ってます*1が、lim UDが存在する時に lim D が存在するってことは言ってないように思… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20090916%2F1253114023" title="層・圏・トポス P85の定理13 で詰まる - 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> Hatena Blog https://hatena.blog 2009-09-16 00:13:43 rich https://hiratara.hatenadiary.jp/entry/20090916/1253114023 1.0 100%