Monomorfizam

U kontekstu apstraktne algebre ili univerzalne algebre, monomorfizam je injektivni homomorfizam. Monomorfizam iz X u Y često se označava s notacijom X ↪ Y

U općenitijim kontekstu teorije kategorija, monomorfizam (koji se također naziva monički morfizam ili mono ) je lijevo-pokratni morfizam. Odnosno, strelica f : X → Y takva da za sve objekte Z i sve morfizme g₁, g₂: Z → X,

${\displaystyle f\circ g_{1}=f\circ g_{2}\implies g_{1}=g_{2}.}$

Monomorfizmi su kategorična generalizacija injektivnih funkcija; u nekim se kategorijama pojmovi podudaraju, ali monomorfizmi su općenitiji, kao u donjim primjerima.

Kategorički dual monomorfizma je epimorfizam, tj. Monomorfizam u kategoriji C je epimorfizam u dualnoj kategoriji C ^op. Svaka je sekcija monomorfizam, a svaka retrakcija epimorfizam.