使态射合成为formula_2上的双线性运算之范畴。取formula_8则回到原始定义。
例子.预可加范畴最直接的例子是交换群范畴Ab；交换性在此不可或缺，它保证两个同态的和仍是同态。其它常见例子包括：以上两例实则皆是可加范畴。
基本性质.由于每个同态集formula_1都是交换群，其中遂有"零元素"，这是formula_10的"零态射"。由于态射合成是双线性的，零态射在任一侧同任一态射的合成必为零态射；如果我们将合成类比于乘法，则上述性质可类比