Un morfismo m: A → B en una categoría que es cancelable por la izquierda: para cualesquiera morfismos paralelos g,h con dominio X, mg = mh implica g = h. Generaliza la noción de aplicación inyectiva que preserva estructura en categorías concretas.

Principio

Los monomorfismos preservan la distinguibilidad de flechas hacia su dominio: componer dos mapas distintos con un mono no puede hacerlos iguales; en Conj esto corresponde a la inyectividad de funciones.

Demostración

La inclusión i: S → T de un subconjunto S ⊆ T es un monomorfismo porque dos aplicaciones hacia S que difieren permanecen distintas tras la inclusión; en la categoría de módulos, una aplicación lineal inyectiva es un mono.

Aplicación incorrecta

Suponer que todo monomorfismo se divide (tiene inversa por la izquierda) o que mono e inyectividad coinciden en todas las categorías; en algunas categorías un mono no es un empotramiento del conjunto subyacente y puede no dividirse.

Consecuencia

Los monomorfismos se comportan como incrustaciones: identifican un subobjeto salvo isomorfismo y permiten construcciones de subobjetos y límites; cadenas de monos describen filtraciones o retículos de subestructuras.

Inversión

Un morfismo no monomórfico puede colapsar morfismos entrantes distintos al componer, por lo que no refleja fielmente diferencias entre mapas hacia su dominio.

Límite

Monomorfismo es una condición puramente categórica y no debe confundirse con la inyectividad punto por punto salvo en categorías definidas sobre conjuntos; su interpretación depende de la categoría ambiente y de la igualdad de flechas.

Tensión semántica

Monomorfismo versus mapa inyectivo: en categorías concretas suelen coincidir pero no siempre; tensión entre 'mono como subobjeto' y 'mono como flecha cancelable' en contextos abstractos.

Síntesis

Un monomorfismo es la abstracción categórica de una incrustación inyectiva: un morfismo cancelable por la izquierda que, cuando procede, identifica un objeto como subobjeto respetando la igualdad de flechas de la categoría.