Hatena::Groupphysicsmathematics

hirataraのお勉強記録 RSSフィード

2009-04-10

■ [圏論による論理学]第2章(P.84-87) 23:44 第2章(P.84-87) - hirataraのお勉強記録 を含むブックマーク はてなブックマーク - 第2章(P.84-87) - hirataraのお勉強記録 第2章(P.84-87) - hirataraのお勉強記録 のブックマークコメント

  • 対角矢
    • \Delta _A = <id_A,id_A>
  • 対角矢\Delta _Aのcharacter
    • \delta _A = \chi _{\Delta _A}
  • 「終対象、積、subobject classifier が存在するならequalizerが存在する」の証明
    • この証明不完全じゃね？ P85のmono eの存在が、この条件だけでは言えないと思う。
    • 層・圏・トポスのP94の定理1に同様の証明がある。層・圏・トポスではsubobject classifierの定義にp.b.の存在が入ってるので、eの存在が言える。また、終対象からの矢がmonoであるため、向かいにあるeもmonoとなる
コメントを書く