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