積の普遍性 (二対象の場合)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/26 08:26 UTC 版)
「積 (圏論)」の記事における「積の普遍性 (二対象の場合)」の解説
任意の対象 Y および射の対 f1: Y → X1 および f2: Y → X2 が与えられたとき、一意的な射 f: Y → X1 × X2 が存在して、図式 を可換にする。
※この「積の普遍性 (二対象の場合)」の解説は、「積 (圏論)」の解説の一部です。
「積の普遍性 (二対象の場合)」を含む「積 (圏論)」の記事については、「積 (圏論)」の概要を参照ください。
積の普遍性
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/26 08:26 UTC 版)
任意の対象 Y と射の族 fi: Y → Xi (i ∈ I) が与えられたとき、一意的な射 f: Y → X が存在して、次の図式 が任意の i に対して可換となる。
※この「積の普遍性」の解説は、「積 (圏論)」の解説の一部です。
「積の普遍性」を含む「積 (圏論)」の記事については、「積 (圏論)」の概要を参照ください。
ウィキペディア小見出し辞書の「積の普遍性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 積の普遍性のページへのリンク
