monomorfismo

sm. [mono-+morfismo]. In matematica, nella teoria degli insiemi, sinonimo di funzione iniettiva; nella teoria delle categorie, morfismo m tale che, se mºx=mºy, allora deve essere x=y. La definizione categorica coincide con quella insiemistica nel caso di omomorfismi di gruppi di spazi vettoriali, ecc., ma non in ogni categoria.