查看“︁預可加範疇”︁的源代码

在[[範疇論]]中，一個'''預可加範疇'''是使得任兩個對象間的態射集<math>\mathrm{Hom}(A,B)</math>帶有[[交換群]]結構，並使得態射合成為[[双线性映射|雙線性]]運算之範疇。

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

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

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

其它常見例子包括：
* 一個[[环 (代数)|環]]上的左[[模]]範疇，包括[[体 (数学)|域]]或[[除環]]上的[[向量空間]]範疇。
* 環上的[[矩陣]][[交換環上的代數|代數]]。

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

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

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

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

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

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

例如，設<math>\mathcal{R}, \mathcal{S}</math>分別為[[环 (代数)|環]]<math>R, S</math>派生的單對象預加法範疇，則<math>\mathcal{R} \to \mathcal{S}</math>的加法函子對應於<math>R \to S</math>的環同態。

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

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

==雙積==
可以證明：預可加範疇中的有限[[積 (範疇論)|積]]<math>A := A_1 \times \cdots \times A_n,\; p_j: A \to A_j</math>若存在，則零態射與<math>\mathrm{id}_{A_j}</math>導出的態射<math>i_j: A_j \to A</math>使<math>A</math>成為[[雙積]]，對內射<math>i_j: A_j \to A</math>則成為<math>A_1, \ldots, A_n</math>的[[上積]]；相對地，有限上積也帶有自然的雙積結構。對任何對象<math>A_1, \ldots, A_n</math>都存在雙積的預可加範疇稱為[[可加範疇]]。

==核與上核==
由於預可加範疇中有零態射，我們可以定義一個態射<math>f: A \to B</math>的核與上核為：
: <math>\mathrm{Ker}(f) := \mathrm{Ker}(f,0)  </math>
: <math>\mathrm{Coker}(f) := \mathrm{Coker}(f,0) </math>

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

對於交換群或模的範疇，核與上核分別對應於[[抽象代數]]的定義，但是在一般的預可加範疇中，態射不一定有核與上核。對所有態射都有核與上核的範疇稱為[[預阿貝爾範疇]]。

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

{{範疇論}}

[[Category:加法范畴]]

[[ru:Категория модулей]]