余積の普遍性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/23 19:55 UTC 版)
任意の対象 Y および射の組 f1: X1 → Y および f2: X2 → Y が与えられたとき、射 f: X1 ∐ X2 → Y が一意に存在して f1 = f ∘ i1 および f2 = f ∘ i2 を満たす。すなわち以下の図式 が可換となる。
※この「余積の普遍性」の解説は、「余積」の解説の一部です。
「余積の普遍性」を含む「余積」の記事については、「余積」の概要を参照ください。
余積の普遍性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/23 19:55 UTC 版)
任意の対象 Y および射の族 fj: Xj → Y が与えられたとき、一意的な射 f: X → Y が存在して、任意の j に対して fj = f ∘ ij を満たす。すなわち、図式 が任意の j ∈ J に対して可換となる。
※この「余積の普遍性」の解説は、「余積」の解説の一部です。
「余積の普遍性」を含む「余積」の記事については、「余積」の概要を参照ください。
- 余積の普遍性のページへのリンク