设formula_16为范畴，且formula_24为预加法范畴，则函子范畴formula_25也构成预可加范畴，原因在于自然变换能自然地相加。若formula_26也是预加法范畴，则其间的加法函子范畴formula_27也是预可加范畴。后者导向模的推广：设formula_26为预可加范畴，则formula_29称为formula_26上的（广义）模范畴。一般意义下的左模对应于formula_26只有一个对象的情形。一如环的情形，模论的许多概念皆可推广到此框架下。
双积.可