rmula_10、formula_11，则态射的合成对应于方阵乘法。
可加函子.一个预加法范畴间的函子formula_12若在同态集上给出群同态，则称作可加函子。如果formula_13还是可加范畴，而且formula_14保存双积的交换图，则称之为（可加范畴间的）可加函子。换言之：若formula_15是formula_16在formula_17中的双积，设formula_18为相应的投影而formula_19为相应的内射，则formula_20是formula_21的双积，