可加範疇
在範疇論中,一個可加範疇是一個存在有限雙積的預加法範疇。舊文獻所謂的「可加範疇」有時指預可加範疇,在當代理論中則傾向於區別兩者。
例子
编辑基本性質
编辑加法範疇是預可加範疇的特例,因此具有預可加範疇的性質,在此僅考慮可加範疇對雙積的特性:
首先注意到空雙積存在,稱為零對象,記作 ;它同時是範疇中的始對象與終對象。
給定加法範疇中的對象 ,考慮與自身的雙積 與 ;透過雙積的射影與內射態射,能夠以矩陣表示從 至 的態射;若取 、 ,則態射的合成對應於方陣乘法。
可加函子
编辑一個預加法範疇間的函子 若在同態集上給出群同態,則稱作可加函子。如果 還是可加範疇,而且 保存雙積的交換圖,則稱之為(可加範疇間的)可加函子。換言之:
若 是 在 中的雙積,設 為相應的投影而 為相應的內射,則 是 的雙積,使得 為相應的投影而 為相應的內射。
可加範疇間常見的函子都是可加函子。事實上,可以證明加法範疇間的伴隨函子都是可加函子,而範疇論中的重要函子多以伴隨函子的面貌出現。
特殊例子
编辑應用最廣的可加範疇通常都是阿貝爾範疇。
文獻
编辑- Nicolae Popescu, 1973, Abelian Categories with Applications to Rings and Modules, Academic Press, Inc.(已絕版) 該書對此主題有仔細介紹