6为预可加范畴，则formula_29称为formula_26上的（广义）模范畴。一般意义下的左模对应于formula_26只有一个对象的情形。一如环的情形，模论的许多概念皆可推广到此框架下。
双积.可以证明：预可加范畴中的有限积formula_32若存在，则零态射与formula_33导出的态射formula_34使formula_14成为双积，对内射formula_34则成为formula_37的上积；相对地，有限上积也带有自然的双积结构。对任何对象formula_37都存在双