Un morfismo formula_17 se llama monomorfismo cuando es cancelable a izquierda, es decir, cuando para cualesquiera formula_18 se cumple que formula_19.