預可加範疇

在範疇論中 ， 一個預可加範疇是使得任兩個對象間的態射集帶有交換群結構 ， 並使得態射合成爲雙線性運算之範疇 。 形式地說 ， 預可加範疇是在交換群的麼半範疇上濃化的範疇 。 預加法範疇有時亦稱Ab - 範疇 ， 其中的Ab是交換群範疇的縮寫 。 舊文獻有時也將預加法範疇稱爲加法範疇 ； 在此則採當代觀點 ， 區別預加法範疇與可加範疇 。 一般而言 ， 固定一個交換環 ， 我們可以定義 - 預可加範疇爲在 - 模的麼半範疇上濃化的範疇 ， 即 ： 使任兩個對象間的態射集爲 - 模 ， 並使態射合成爲上的雙線性運算之範疇 。 取則回到原始定義 。