Monomorfisme itu apa sih?

Dalam konteks aljabar abstrak atau aljabar universal, monomorfisme adalah injeksi homomorfisme. Sebuah monomorfisme dari  dengan  sering dilambangkan dengan notasi  .

Dalam pengaturan yang lebih umum dari teori kategori, monomorfisme (juga disebut morfisme monik atau mono) adalah pembatal-kiri morphism. Artinya, anak panah  seperti itu untuk semua objek  dan semua morfisme ,

Monomorfisme adalah generalisasi kategorikal dari fungsi injeksi s (juga disebut "fungsi satu-ke-satu"); 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.