Ext

定義 3.2（「コホモロジーと双対性」§3）

自由分解 $0\to F_1\xrightarrow{i}F_0\to A\to0$ に対し

\operatorname{Ext}(A,G)=\operatorname{coker}\bigl(i^*:\operatorname{Hom}(F_0,G)\to\operatorname{Hom}(F_1,G)\bigr)

と定める。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。