余積
coproduct
圏論的和
積
の双対
定義
$ A,B
を対象とする
$ A,B
の余積とは、
組
$ (A+ B, t_A:A\to A+B, t_B:B\to A+B)
で、
余積の普遍性
を満たすもの
ref
他との関係性を含んだ定義
/mrsekut-book-4621063243/098 (3.3 余積と余極限)
圏論的和と圏論的積 (余積と積) - TakuLabo