在范畴论中，双积是直积在预加法范畴中的推广，它同时是范畴论意义下的积与上积。
定义.令 formula_1 为预加法范畴，因而任两个对象 formula_2 间的态射集 formula_3 是交换群。给定有限个对象 formula_4，假设有：并假设：则称 formula_5 是 formula_4 的双积。注意到若在定义中取 formula_14，则「空双积」是一个对象 formula_15，使得恆等映射是零映射。