Monomorfisme

Dalam konteks aljabar abstrak atau aljabar universal, monomorfisme adalah injeksi homomorfisme. Sebuah monomorfisme dari X dengan Y sering dilambangkan dengan notasi X ↪ Y. Dalam pengaturan yang lebih umum dari teori kategori, monomorfisme adalah pembatal-kiri morphism. Artinya, anak panah f : X → Y seperti itu untuk semua objek Z dan semua morfisme g1, g2: Z → X, Monomorfisme adalah generalisasi kategorikal dari fungsi injeksi s; dalam beberapa kategori, pengertian tersebut bertepatan, tetapi monomorfisme lebih umum, seperti pada contoh di bawah. Dual kategorikal dari monomorfisme adalah epimorfisme, yaitu, monomorfisme dalam kategori C adalah epimorfisme dalam kategori ganda Cop. Setiap bagian adalah monomorfisme, dan setiap retraksi adalah epimorfisme.