餘積
coproduct。圈論的和 (sum)
余積 - Wikipedia
直和 - Wikipedia#圏論的直和
coproduct in nLab
對象
$ A
,
$ B
の
餘積
$ A+B
は、
可換圖式
$ A\to X\larr B
を滿たす對象
$ X
の內で
餘普遍
性を持つもの
射
$ A\to A+B
,
$ B\to A+B
を
單射
(injection) 或いは埋め込み (embedding) と呼ぶ
圈論的雙對
は
積 (圈)
猫番 — 余積
Scala.icon
Coproduct で型の直和型をつくる - 僕でもわかるCoproduct -