餘積
coproduct。圈論的和 (sum)
余積 - Wikipedia
直和 - Wikipedia#圏論的直和
coproduct in nLab
對象
$ A
,
$ B
の餘積
$ A+B
は、
可換圖式
$ A\to X\larr B
を滿たす對象
$ X
の內で餘普遍性を持つもの
圈論的雙對
は
積 (圈)