Epimorfisma itu apa sih?

Dalam teori kategori, epimorfisma (juga disebut morfisme epik atau, bahasa sehari-hari, epi) adalah morfisma f:X→Y sehingga adalah pembatalan-kanan dalam arti bahwa, untuk semua objek  Z  dan semua morfisme ,

Epimorfisme adalah analog kategoris dari  ke atau fungsi dugaan s (dan dalam kategori himpunan konsepnya sesuai persis dengan fungsi konjektur), tetapi mungkin tidak persis sama di semua konteks; misalnya, penyertaan  adalah epimorfisme cincin.  dual dari suatu epimorfisme adalah monomorfisme (yaitu epimorfisme dalam  kategori  C  adalah monomorfisme dalam  kategori ganda Cop).

Banyak penulis di aljabar abstrak dan aljabar universal mendefinisikan  'epimorfisme'  hanya sebagai  ke  atau konjektur homomorfisme. Setiap epimorfisme dalam pengertian aljabar ini merupakan epimorfisme dalam pengertian teori kategori, tetapi kebalikannya tidak berlaku untuk semua kategori. Dalam artikel ini, istilah "epimorfisme" akan digunakan dalam pengertian teori kategori yang diberikan di atas. Untuk lebih lanjut tentang ini, lihat  di bawah.