Kokernel itu apa sih?

Dalam matematika, kokernel pada pemetaan linear dari ruang vektor f : X → Y adalah ruang hasil bagi  dari kodomain dari  f  dengan gambar  f . Dimensi dari kokernel disebut  corank  dari  f .

Kokernel ganda ke kernel teori kategori, maka namanya: kernel adalah subobjek dari domain (memetakan ke domain), sedangkan cokernel adalah objek hasil bagi dari kodomain (dipetakan dari kodomain).

Secara intuitif, diberi persamaan f(x) = y yang ingin dipecahkan,

cokernel mengukur batasan yang harus dipenuhi oleh y agar persamaan ini memiliki solusi sebagai penghalang solusi, sementara kernel mengukur derajat kebebasan dalam solusi, jika ada. Ini diuraikan dalam intuisi, di bawah.