余積の一意性

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

余積の一意性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/23 19:55 UTC 版)

「余積」の記事における「余積の一意性」の解説

ij: Xj → X および kj: Xj → Y がともに族 {Xj} の余積ならば、（余積の定義によって）一意的な同型 f: X → Y が存在して各 j ∈ J に対して f ∘ ij = kj となる。