_19分别为环formula_20派生的单对象预加法范畴，则formula_21的加法函子对应于formula_22的环同态。设formula_16为范畴，且formula_24为预加法范畴，则函子范畴formula_25也构成预可加范畴，原因在于自然变换能自然地相加。若formula_26也是预加法范畴，则其间的加法函子范畴formula_27也是预可加范畴。后者导向模的推广：设formula_26为预可加范畴，则formula_29称为formula_26上的（广义）模范畴。一般意义下的左模对应