Cokernel
V matematice, cokernel homomorphism f: Xa rarr;Y je kvocient Y obrazem f. V topological nastavení, jeden typicky vezme uzavření obrazu předtím, než přejde na kvocient. Například, jestliže f: H1a rarr;H2 je ohraničený lineární operátor mezi prostory Hilberta pak coker (f) je kvocient H2 uzavřením rozsahu f.V obecném rámci kategorie s nulovým morphisms, cokernel f : Xa rarr;Y (jestliže to existuje) je morphism g: Ya rarr;Z takový že složení gf je nulová mapa od X k Z a g je univerzálie pro tuto vlastnost, tj., některý h: Ya rarr;W takový ten hf = 0 moci být získán tím, že skládá g s jedinečnou mapou od Z k W.
Tento pojem je dvojí k jádrům teorie kategorie, proto jméno.