Saya mau tau Kaitannya dengan kemampuan terbalik dari Monomorfisme

Morfisme pembalik kiri harus monik: jika  l  adalah kebalikan kiri untuk f (artinya  l  adalah morfisme dan ), maka  f  adalah monik, maka

Morfisme yang dapat dibalikkan kiri disebut  'split mono'  atau bagian.

Namun, monomorfisme tidak perlu dibalik. Misalnya, dalam kategori Grup dari semua grup dan homomorfisme grup di antara mereka, jika  H  adalah subgrup dari  G  lalu penyertaan  selalu monomorfisme; tetapi  f  memiliki invers kiri dalam kategori jika dan hanya jika  H  memiliki komplemen normal di  G .

Morfisme  monic jika dan hanya jika peta induksi , mendefinisikan oleh  untuk semua morfisme , adalah injeksi untuk semua objek  Z .