在範疇論中，一個**預可加範疇**是使得任兩個對象間的態射集{\displaystyle \mathrm {Hom} (A,B)}帶有交換群結構，並使得態射合成為雙線性運算之範疇。

形式地說，預可加範疇是在交換群的么半範疇上濃化的範疇。預加法範疇有時亦稱**Ab-範疇**，其中的**Ab**是交換群範疇的縮寫。舊文獻有時也將預加法範疇稱為加法範疇；在此則採當代觀點，區別預加法範疇與可加範疇。

一般而言，固定一個交換環k，我們可以定義**k-預可加範疇**為在k-模的么半範疇上濃化的範疇，即：使任兩個對象間的態射集{\displaystyle \mathrm {Hom} (A,B)}為k-模，並使態射合成為k上的雙線性運算之範疇。取k=\Z則回到原始定義。

例子
--

預可加範疇最直接的例子是交換群範疇**Ab**；交換性在此不可或缺，它保證兩個同態的和仍是同態。

其它常見例子包括：

* 一個環上的左模範疇，包括域或除環上的向量空間範疇。
* 環上的矩陣代數。

以上兩例實則皆是可加範疇。

* 任何環皆可視為只有一個對象的範疇，態射對應於環的元素，並透過環的乘法運算合成；這是個預可加範疇，其同態集是該環對加法的交換群。

基本性質
----

由於每個同態集{\displaystyle \mathrm {Hom} (A,B)}都是交換群，其中遂有*零元素*，這是A\to B的*零態射*。由於態射合成是雙線性的，零態射在任一側同任一態射的合成必為零態射；如果我們將合成類比於乘法，則上述性質可類比於{\displaystyle 0\cdot \*=\*\cdot 0=0}；合成的雙線性也可以依此設想為乘法分配律。

取A=B，則同態集{\displaystyle \mathrm {Hom} (A,A)}對加法與合成構成一個環，稱為A的自同態環。反之，藉由將環看成只有一個對象的預加法範疇，任何環都可以表成某個預加法範疇的自同態環。範疇論學者慣於將R與對應的單對象範疇等量齊觀，一個愛作怪的範疇論學者大可以將環定義為只有一個元素的預可加範疇。

依此觀點，預可加範疇可視作環的推廣（「範疇化」技術）。許多環論概念，如理想、Jacobson根與商環等等，皆可推廣至此框架。

加法函子
----

設{\displaystyle {\mathcal {C}},{\mathcal {D}}}為預加法範疇，若一個函子F: \mathcal{C} \to \mathcal{D}使{\displaystyle F:\mathrm {Hom} (A,B)\to \mathrm {Hom} (F(A),F(B))}為群同態，則稱之為**加法函子**。形式地說，加法函子是濃化範疇之間的濃化函子。

例如，設{\displaystyle {\mathcal {R}},{\mathcal {S}}}分別為環{\displaystyle R,S}派生的單對象預加法範疇，則{\displaystyle {\mathcal {R}}\to {\mathcal {S}}}的加法函子對應於R \to S的環同態。

設{\displaystyle {\mathcal {C}},{\mathcal {D}}}為範疇，且{\mathcal {D}}為預加法範疇，則函子範疇{\displaystyle \mathrm {Fct} ({\mathcal {C}},{\mathcal {D}})}也構成預可加範疇，原因在於自然變換能自然地相加。若\mathcal{C}也是預加法範疇，則其間的加法函子範疇{\displaystyle \mathrm {Add} ({\mathcal {C}},{\mathcal {D}})}也是預可加範疇。

後者導向模的推廣：設\mathcal{C}為預可加範疇，則{\displaystyle \mathbf {Mod} ({\mathcal {C}}):=\mathrm {Add} ({\mathcal {C}},\mathbf {Ab} )}稱為\mathcal{C}上的（廣義）**模範疇**。一般意義下的左模對應於\mathcal{C}只有一個對象的情形。一如環的情形，模論的許多概念皆可推廣到此框架下。

雙積
--

可以證明：預可加範疇中的有限積{\displaystyle A:=A\_{1}\times \cdots \times A\_{n},\;p\_{j}:A\to A\_{j}}若存在，則零態射與{\displaystyle \mathrm {id} \_{A\_{j}}}導出的態射{\displaystyle i\_{j}:A\_{j}\to A}使A成為雙積，對內射{\displaystyle i\_{j}:A\_{j}\to A}則成為{\displaystyle A\_{1},\ldots ,A\_{n}}的上積；相對地，有限上積也帶有自然的雙積結構。對任何對象{\displaystyle A\_{1},\ldots ,A\_{n}}都存在雙積的預可加範疇稱為可加範疇。

核與上核
----

由於預可加範疇中有零態射，我們可以定義一個態射f:A\to B的核與上核為：

{\displaystyle \mathrm {Ker} (f):=\mathrm {Ker} (f,0)}
{\displaystyle \mathrm {Coker} (f):=\mathrm {Coker} (f,0)}
其中的{\displaystyle \mathrm {Ker} (-,-),\mathrm {Coker} (-,-)}分別為一對態射的等化子與上等化子。利用態射集上的群結構與合成的雙線性，等化子與上等化子也能夠用核與上核刻劃：

{\displaystyle \mathrm {Ker} (f,g):=\mathrm {Ker} (f-g)=\mathrm {Ker} (g-f)}
{\displaystyle \mathrm {Coker} (f,g):=\mathrm {Coker} (f-g)=\mathrm {Coker} (g-f)}
對於交換群或模的範疇，核與上核分別對應於抽象代數的定義，但是在一般的預可加範疇中，態射不一定有核與上核。對所有態射都有核與上核的範疇稱為預阿貝爾範疇。

文獻
--

* Nicolae Popescu; 1973, *Abelian Categories with Applications to Rings and Modules*, Academic Press, Inc.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
范畴论 |
| --- |
|  |
| 

|  基本概念 |
| --- |
|  |
| 

|  |  |
| --- | --- |
| 基本概念 | 
* 範疇
* 伴隨函子
* 交换图表
* 具體範疇
* 函子
* 态射
* 自然變換
* 泛性质

 |
|  |
| 泛構造 | 

|  |  |
| --- | --- |
| 極限 | 
* 終對象
* 積
* 等化子
	+ 核（英语：）
* 拉回
* 逆極限（英语：）

 |
|  |
| 餘極限 | 
* 始對象
* 餘積（英语：）
* 餘等化子（英语：）
	+ 餘核
* 推出
* 正極限（英语：）

 |

 |
|  |
| 代數範疇（英语：） | 
* 集合
* 關係
* 原群
* 群
* 阿貝爾群
* 環（英语：）
	+ 域
* 模（英语：）
	+ 向量空間

 |
|  |
| 範疇上的構造 | 
* 自由範疇（英语：）
* 函子範疇
* 商範疇（英语：）
* 積範疇
* 子範疇

 |

 |

 | A simple triangular commutative diagram |
|  |
| 

|  高階範疇論（英语：） |
| --- |
|  |
| 

|  |  |
| --- | --- |
| 基本概念 | 
* 範疇化
* 濃縮範疇（英语：）
* 高維代數（英语：）
* 同倫假設（英语：）
* 模型范畴
* 单纯范畴

 |
|  |
| n-範疇 | 

|  |  |
| --- | --- |
| 弱 n-範疇（英语：） | 
* 雙範疇（英语：）
	+ 偽函子（英语：）
* 三範疇（英语：）
* 四範疇（英语：）
* 闞複形（英语：）
* ∞-廣群（英语：）
* ∞-拓撲斯（英语：）

 |
|  |
| 強 n-範疇 | 
* 2-範疇
	+ 2-函子（英语：）
* 3-範疇（英语：）

 |

 |
|  |
| 範疇化概念 | 
* 2-群（英语：）
* 2-環（英语：）
* *En*-環（英语：）
* (對稱（英语：）) 么半範疇
* *n*-群（英语：）
* *n*-么半群（英语：）

 |

 |

 |
|  |
| 
* 分类 分類
* 主题 主題
* 维基教科书页面 維基教科書

 |

 |