Kocitra

Dalam aljabar, kocitra dari sebuah homomorfisme

adalah hasil bagi

dari domain oleh kernel. Kocitra adalah isomorfik kanonik ke citra oleh teorema isomorfisme pertama, ketika teorema itu berlaku.

Lebih umum lagi, dalam teori kategori, kocitra dari morfisme adalah pengertian ganda dari gambar morfisme. Jika  , maka kocitra dari  (jika ada) adalah epimorfisme  sehingga
peta  dengan ,
untuk suatu epimorfisme  yang terdapat sebuah peta  dengan , pada peta  sehingga keduanya  dan 

 Lihat pula 
 Objek hasil bagi
 Kokernel

 Referensi 

Kategori:Aljabar abstrak
Kategori:Teorema Isomorfisme
Kategori:Teori kategori

pl:Twierdzenie o izomorfizmie#Pierwsze twierdzenie