monomorfismo

monomorfismo

monomorfismo in algebra, omomorfismo iniettivo tra due insiemi X e Y dotati di una stessa struttura algebrica. Per esempio, l’applicazione che associa a un numero intero n il suo doppio 2n è un monomorfismo dell’insieme dei numeri interi dotati della struttura di gruppo rispetto all’addizione nell’insieme dei numeri interi pari, dotato anch’esso della struttura di gruppo rispetto all’addizione. Nel contesto più generale delle categorie, la nozione di monomorfismo si precisa come segue: è un morfismo ƒ: X → Y tra due oggetti X e Y appartenenti a una stessa categoria dotato della seguente proprietà: per ogni coppia di morfismi g, h: Z → X tali che fg = fh, risulta g = h.