等式的な定義

ウィキペディア小見出し辞書

等式的な定義

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/26 08:26 UTC 版)

「積 (圏論)」の記事における「等式的な定義」の解説

図式を用いる代わりに、対象の積を等式的に定めることができる。その場合例えば、二項の積は 一意な射 f が存在することは、二項演算 ⟨–, –⟩ の存在性によって保障される。 図式の可換性は等式 πi ∘ ⟨f1, f2⟩ = fi (i = 1, 2) が任意の f1, f2 について成り立つことによって保障される。 f の一意性は任意の f に対し等式 ⟨π1 ∘ π2⟩ = f が成り立つことによって保証される。