Epimorfisma

Dalam teori kategori, epimorfisma adalah morfisma f:X→Y sehingga adalah pembatalan-kanan dalam arti bahwa, untuk semua objek Z dan semua morfisme g1, g2: Y → Z, Epimorfisme adalah analog kategoris dari ke atau fungsi dugaan s, tetapi mungkin tidak persis sama di semua konteks; misalnya, penyertaan Z → Q adalah epimorfisme cincin. dual dari suatu epimorfisme adalah monomorfisme. 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 § Terminologi di bawah.