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

参加してきました。第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章の「層」に入ります。