在范畴论中，双积是直积在预加法范畴中的推广，它同时是范畴论意义下的积与上积。

令 为预加法范畴，因而任两个对象 间的态射集 是交换群。给定有限个对象 ，假设有：

• 对象 ，通常表作 。
• 态射 （称为射影）
• 态射 （称为内射）

并假设：

则称 是 的双积。

注意到若在定义中取 ，则「空双积」是一个对象 ，使得恒等映射是零映射。

In category theory and its applications to mathematics, a biproduct of a finite collection of objects in a category with zero object is both a product and a coproduct. In a preadditive category the notions of product and coproduct coincide for finite collections of objects. The biproduct is a generalization of finite direct sums of modules.