f(x)=g(x)} 的解集(英语:solution set)。僅得兩個函數時,也稱為其差核,因為等於兩個函數之差的核(英语:Kernel (categorytheory))。 設 X {\displaystyle X} 與 Y {\displaystyle Y} 為集合。又設 f , g {\displaystyle
集合範疇沒有零對象,但有空集∅作為初對象。Set僅有的右零態射是從∅到集合X的函數。 如果一個範疇有零態射,則對每個態射都可以定義核(英语:Kernel_(category_theory))和餘核。 Section 1.7 of Pareigis, Bodo, Categories and functors, Pure