プログラミングにおける直和型（ sum type ）は↑の前者だから、非交和ってことで良さそう。

8:53 AM

おおお、非交和の定義がまさに sum type だ。

8:54 AM

圏 C の二つの対象 X1, X2 に対し、それら二つの対象の余積 X1 ∐ X2（または X1 ⊕ X2 あるいは単に X1 + X2 と書くこともある）とは

記号ばらつきすぎｗ