双积（范畴论）：一种同时具有积（product）与余积（coproduct）性质的对象/构造。直观上，它常对应于线性代数里的直和（direct sum）：既能用投影映射“取分量”，也能用嵌入映射“放入分量”，并满足相容的泛性质。
（不同语境下也可能出现更具体的技术条件，例如在加法范畴/预加法范畴中讨论有限双积。）
/ˈbaɪˌprɒdʌkt/ （英）
/ˈbaɪˌprɑːdʌkt/ （美）
由前缀 **bi-**（“两个、双重”）+ product（“积”）构成，意指“兼具两种（积与余积）性质的积”。该术语主要在20世纪范畴论发展过程中被系统化使用，用来描述“同一个对象既是 product 又是 coproduct”的情形。
In the category of vector spaces, the direct sum is a biproduct.
在线性空间的范畴中，直和是一个双积。
In an additive category, biproducts provide canonical projection and injection maps that satisfy both universal properties at once.
在加法范畴中，双积给出规范的投影与嵌入映射，并同时满足两种泛性质（积与余积）。
Select Language