Monomorphisme

Un morphisme m : A → B dans une catégorie qui est cancellatif à gauche : pour toute paire de morphismes parallèles g,h de domaine X, mg = mh implique g = h. Il généralise la notion d'application injective préservant la structure dans les catégories concrètes.