等化子

数学における等化子（とうかし、英: equalizer, equaliser）は、与えられた複数の写像に対してそれらの値が等しくなるような引数全体の成す集合を言う。従って各等化子は特定の形の方程式のとして得られる。特定の文脈では、ちょうど二つの写像の等化子を、それら写像の差核 (difference kernel) と呼ぶ。