Ein Differenzkern (auch: Egalisator, engl.: equalizer) ist eine Verallgemeinerung des mathematischen Begriffes Kern auf beliebige Kategorien. Der Differenzkern eines Paares von Abbildungen f, g zwischen zwei Mengen X und Y ist die Teilmenge von X, auf der f und g übereinstimmen, d. h. Ein Differenzkern zweier Morphismen f, g: X → Y in einer bel...