Diferencia entre revisiones de «Morfismo»

Un morfismo <math>f \colon a \to b</math> se llama '''monomorfismo''' cuando es cancelable a izquierda,<ref name="maclane:monics">Saunders MacLane. "Categories for the working mathematician", capítulo 1.5 "Monics, Epis and Zeros"</ref> es decir, cuando para cualquiercualesquiera <math>g,h \colon z \to a</math> se cumple que <math>f\circ g = f\circ h \;\implies\; g = h</math>. Dualmente, un morfismo <math>f \colon a \to b</math> se llama '''epimorfismo''' cuando es cancelable a derecha, es decir, cuando para cualquiercualesquiera <math>g,h \colon b \to z</math> se cumple que <math>g \circ f = h \circ f \;\implies\; g = h</math>.