Dualmente, un morfismo formula_17 se llama epimorfismo cuando es cancelable a derecha, es decir, cuando para cualesquiera formula_21 se cumple que formula_22.