Diferencia entre revisiones de «Morfismo»

Contenido eliminado Contenido añadido
Etiqueta: Revertido
Etiquetas: Revertido posible pruebas
Línea 14:
 
===Monomorfismos y epimorfismos===
Un morfismo <math>f \colon a \to b</math> se llama '''monomorfismo''' cuando es cancelable apor derechaizquierda,<ref name="maclane:monics">Saunders MacLane. "Categories for the working mathematician", capítulo 1.5 "Monics, Epis and Zeros"</ref> es decir, cuando para cualesquiera <math>g,h \colon a \to b</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 apor izquierdaderecha, es decir, cuando para cualesquiera <math>g,h \colon a \to b</math> se cumple que <math>g \circ f = h \circ f \;\implies\; g = h</math>.
 
A los morfismos que son monomorfismos y epimorfismos se les llama '''bimorfismos'''.