圏論と普遍性

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

圏論と普遍性

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

「違いを除いて」の記事における「圏論と普遍性」の解説

圏論では対象の関係性が問題にされ、一般には二つの対象が同一であることを示すことは必ずしも必要でないし、望めないことも多い(本当に同一であることを課す厳密圏という概念もある)。よって、積や始対象のように圏論で重要な概念は、それが二つ存在すればそれらは同型、言い換えると「同型を除いて一意に存在する」と表現できることが多い。