generated at
余積
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