同調代數/阿貝爾範疇的定義

定義 ($Ab$-富集範疇):

一個$Ab$-富集範疇是一個範疇 ${\mathcal {C}}$ 使得

1. $\forall a,b\in \operatorname {Obj} ({\mathcal {C}})$，${\mathcal {C}}(a,b)$ 是一個阿貝爾群。
2. $\forall a,b,c\in \operatorname {Obj} ({\mathcal {C}})$，$\circ _{a,b,c}:{\mathcal {C}}(b,c)\times {\mathcal {C}}(a,b)\to {\mathcal {C}}(a,c)$ 是雙線性的。

定義（零物件）:

一個零物件是 $Ab$-富集範疇中的一個物件，它同時是初始物件和終端物件。我們通常用 $\mathbf {0}$ 表示它。

定義（雙積）:

給定一個 $Ab$-富集範疇 ${\mathcal {C}}$，$a,b\in \operatorname {Obj} ({\mathcal {C}})$ 的一個雙積是一個元組 $(c,i_{1}:a\to c,p_{1}:c\to a,i_{2}:b\to c,p_{2}:c\to b)$ 使得

1. $p_{1}\circ i_{1}=1_{a}.$
2. $p_{2}\circ i_{1}=0_{a,b}.$
3. $p_{1}\circ i_{2}=0_{b,a}.$
4. $p_{2}\circ i_{2}=1_{b}.$
5. $i_{1}\circ p_{1}+i_{2}\circ p_{2}=1_{c}.$

我們通常用 $a\oplus b$ 表示 $c$.

定義（加法範疇）:

加法範疇 是一個 $Ab$-富集範疇 ${\mathcal {C}}$，滿足：

1. 在 ${\mathcal {C}}$ 中存在零乘積。
2. 每個 $a,b\in \operatorname {Obj} ({\mathcal {C}})$ 都有一個雙積。

定義（（餘）核）:

給定 $f:a\to b$ 在一個 $Ab$-富集範疇中。$f$ 的 （餘）核 是 $f$ 和 $0_{a,b}$ 的（餘）均衡子。

定義（阿貝爾範疇）:

阿貝爾範疇 是一個加法範疇，滿足：

1. 每個態射都有核和餘核。
2. 每個單態射都是一個核，每個滿態射都是一個餘核。

例子:

一個環 $R$ 的所有左 $R$-模範疇是一個阿貝爾範疇。

練習

1. 給定 $f:a\to b$ 在一個具有零物件的 $Ab$-富集範疇中。證明 $f=0_{a,b}$ 當且僅當 $f$ 透過 $\mathbf {0}$ 因子化。

1. 給定一個 $(a\oplus b,i_{1},p_{1},i_{2},p_{2})$ 的 $a$ 和 $b$ 的雙積。證明 $(a\oplus b,i_{1},i_{2})$ 是 $a$ 和 $b$ 的餘積，並且 $(a\oplus b,p_{1},p_{2})$ 是 $a$ 和 $b$ 的積。

1. 在具有零物件的 $Ab$ 富集範疇中，$f:a\to b$ 的核可以等價地表徵為 $\mathbf {0} \to b$ 沿 $f$ 的拉回。