参加してきました。第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} っ…