與積對偶的範疇概念。範疇中物件族 的上積是一個物件
, 以及一組 態射
,使得對於每個物件
和每組態射
,存在唯一的態射
使得
對於所有 。上積在同構意義下是唯一的。
在集合範疇中,上積是不交併 ,並且
是包含對映。在阿貝爾群範疇中,上積是群直和
,並且
是第
個被加數的注入。在群範疇中,上積是群的自由積。
與積對偶的範疇概念。範疇中物件族 的上積是一個物件
, 以及一組 態射
,使得對於每個物件
和每組態射
,存在唯一的態射
使得
對於所有 。上積在同構意義下是唯一的。
在集合範疇中,上積是不交併 ,並且
是包含對映。在阿貝爾群範疇中,上積是群直和
,並且
是第
個被加數的注入。在群範疇中,上積是群的自由積。
此條目由 Margherita Barile 貢獻
Barile, Margherita. “上積。” 來自 —— 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/Coproduct.html