lim C(X,D-) が存在する時に lim D が存在するのか層・圏・トポス P85の定理11 反例を考えてみました。 反例 以下のように置きます。 圏C: HShiri(しりとりの圏) 圏D: 「い」「う」とidだけからなるHShiriの部分圏 関手D: DからCへの埋め込み 圏Cの対象X: な…

定理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 が言えるのか …