|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 余 ： [よ] 1. (n,suf) over 2. more than ・ 等 ： [など] 1. (suf) and others 2. et alia 3. etc. (ら) ・ 化 ： [か] (suf) action of making something
圏論における余等化子（よとうかし、）は同値関係による商の、任意の圏における対象に対する一般化である。余等化子は等化子のとなる圏論的構成である。 == 定義 == 余等化子は二つの対象 と二つの平行射 からなる図式のである。より明示的に書けば、余等化子は対象 と射 で を満たすものの組として定義することができる。さらに言えば、対 は、同じ性質を持つ別の対 が与えられたとき、以下の図式 を可換とする射 が一意に存在するという意味での普遍性を持たなければならない。全てのがそうである通り、余等化子は存在すれば同型を除いて一意である（それがゆえに、与えられた平行射の単に (the) 余等化子と呼ぶことに混乱の虞は無い）。 余等化子 が任意の圏において全型射であることを示すことができる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「余等化子」の詳細全文を読む スポンサード リンク
|