W kategoriach Ab i VectK kojądrem morfizmu jest epimorfizm kanoniczny π: B → B/N, gdzie N = φ(A); w kategorii Grp jako N należy wziąć najmniejszą podgrupę normalną zawierającą φ(A).
Bibliografia
Linki zewnętrzne Marek Zawadowski, Elementy teorii kategorii, skrypt dla studentów Wydziału MIM UW, 29 listopada 2019 [dostęp 2021-08-17]. [dostęp 2025-12-04]. [dostęp 2025-12-04]. Equalizer , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2025-12-05].
Kategoria:Teoria kategorii