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