等化子
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/11/29 21:36 UTC 版)
数学における等化子(とうかし、英: equalizer, equaliser)は、与えられた複数の写像に対してそれらの値が等しくなるような引数全体の成す集合を言う。従って各等化子は特定の形の方程式の解集合として得られる。特定の文脈では、ちょうど二つの写像の等化子を、それら写像の差核 (difference kernel) と呼ぶ。
- ^ Barr, Michael; Wells, Charles (1998) (PDF). Category theory for computing science. p. 266 2013年7月20日閲覧。
- 1 等化子とは
- 2 等化子の概要
- 3 圏論における等化子
- 4 性質
- 等化子のページへのリンク