読者です 読者をやめる 読者になる 読者になる

北海道苫小牧市出身の初老PGが書くブログ

永遠のプログラマを夢見る、苫小牧市出身のおじさんのちらしの裏

第十回「層・圏・トポス  現代的集合像を求めて」勉強会

math

参加してきました。第2章「圏」が全部終わりました!! (P90の層の部分除く)

板書写真はこちらです。

宿題は以下です。

  • P85の定理13やP89の5).、6).で使われる以下の性質の根拠
    • ∀X, C(X, A) ≃ C(X, B) ⇒ A ≃ B
  • P89の6)の記法で、colim D_i とか lim C^{D_i} って何か (対象に対するlim??)

来週の米田祭を経て、次回から、第1章の「層」に入ります。