Una aplicación inyectiva que preserva la estructura desde un objeto hacia otro y que identifica la fuente como un subobjeto del destino, preservando la estructura relevante (a menudo realizada como un morfismo inyectivo con propiedades reflexivas adicionales).

Principio

Una inserción inyecta y refleja la estructura: realiza la fuente como presente dentro del destino de modo que la estructura de la fuente corresponda exactamente a la estructura inducida en la imagen.

Demostración

Inserción de subgrupo: un homomorfismo de grupos inyectivo i: H → G que identifica H con un subgrupo de G. Inserción topológica: f: X → Y continua, inyectiva y homeomorfismo sobre su imagen con la topología de subespacio.

Aplicación incorrecta

Llamar inserción a cualquier mapa inyectivo sin verificar que la imagen herede la estructura de la fuente (p. ej., una aplicación continua inyectiva que no es homeomorfismo sobre su imagen no es una inserción topológica).

Consecuencia

La inserción permite tratar la fuente como un subobjeto genuino del destino, posibilitando el traslado de propiedades, argumentos de extensión y el uso de la estructura ambiente para el análisis.

Inversión

Un cociente o proyección identifica elementos en lugar de incluirlos inyectivamente; un homomorfismo no inyectivo no puede ser una inserción.

Límite

El significado formal depende de la categoría: a menudo requiere inyectividad y que el morfismo sea un monomorfismo o un monomorfismo regular/inicial; en algunos contextos se exige imagen cerrada/densa o homeomorfismo sobre la imagen. No toda aplicación inyectiva es una inserción.

Tensión semántica

Inyección versus inserción: la inyección es una propiedad de conjuntos, la inserción es estructural y puede requerir reflexión o condiciones topológicas adicionales; confusiones frecuentes entre inserción, inmersión y homeomorfismo en geometría.

Síntesis

Una inserción es la inclusión que preserva la estructura y realiza un objeto dentro de otro mediante inyectividad más condiciones reflexivas que aseguran que la estructura inducida en la imagen coincida con la de la fuente.