Epimorfismo

Un morfismo e: A → B que es cancelable por la derecha: para cualquier par de morfismos paralelos g,h con codominio Y, ge = he implica g = h. Abstrae la idea de un mapa sobreyectivo que preserva estructura en muchas categorías concretas, pero depende de la categoría.