等化子 在數學的範疇論分支若干個函數的等化子英語equaliser是使其值相等的參數的集合換言之兩個函數 f  g displaystyle fg 的等化子是方程 f  x   g  x  displaystyle fxgx 的解集英语solution set僅得兩個函數時也稱為其差核因為等於兩個函數之差的核英语Kernel category theory