数学、特に圏論において、前加法圏とは可換群のなすモノイド圏で豊穣化した圏のことである。言い換えると、圏Cが前加法的であるとは、Cの各 Hom(A,B) が可換群の構造を持ち、さらに射の合成について双線形であることをいう。 可換群の圏 を Ab と書く記法に由来して、前加法圏を「Ab-圏」と呼ぶこともある。著者によっては前加法圏を加法圏と呼ぶこともあるが、ある特別な前加法圏(以下のを参照)のことを加法圏と呼ぶのが最近の傾向である。
