标签：#範疇中的極限

等化子

在數學的範疇論分支，若干個函數的等化子（）是使其值相等的參數的集合。換言之，兩個函數f, g的等化子，是方程f(x) = g(x)的。僅得兩個函數時，也稱為其差核，因為等於兩個函數之差的。 定義 設X與Y為集合。又設f, g為從X至Y的函數。則f與g的等化子為X中所有滿足f(x) = g(x)的元素x的集合，以符號表示為： : \operatorname{Eq}(f, g) := \{x \in X \mid f(x) = g(x)\}…