Aplicación que preserva estructura entre teorías formales y que traduce símbolos, fórmulas y axiomas de una teoría fuente a una teoría objetivo de modo que se preserve la derivabilidad o la consecuencia modelo‑teórica; a menudo formalizada como mapas de firmas acompañados de traducciones de axiomas o como interpretaciones entre teorías.

Principio

Un morfismo de teorías especifica cómo se asignan símbolos y símbolos de relación/función/predicado y provee una traducción de sentencias tal que si la teoría fuente implica una sentencia, la sentencia traducida queda implicada en la objetivo; eso asegura que las consecuencias lógicas se transfieran a lo largo del morfismo y posibilita el transporte de modelos y pruebas.

Demostración

Una interpretación que envía el lenguaje de grupos al lenguaje de monoides mapeando el símbolo de multiplicación de grupo a la multiplicación del monoide e interpretando inversos mediante predicados de existencia produce un morfismo de teorías (con manejo cuidadoso de axiomas) que muestra qué afirmaciones de teoría de grupos pueden expresarse o preservarse en monoides; de manera similar, un homomorfismo de firma que inserta el lenguaje de anillos en un lenguaje de álgebra más rico induce un morfismo traduciendo axiomas de anillo a axiomas de álgebra.

Aplicación incorrecta

Llamar morfismo de teorías a cualquier renombrado sintáctico de símbolos sin verificar preservación de la consecuencia o sin considerar las traducciones necesarias de axiomas y cuantificadores; tales identificaciones laxas pueden romper la consecuencia lógica y producir traducciones no conservativas que invalidan teoremas transferidos.

Consecuencia

Un morfismo de teorías válido permite la reutilización sistemática de definiciones, teoremas y modelos: resultados en la fuente pueden transportarse a la objetivo (posiblemente como corolarios), los morfismos conservativos identifican extensiones seguras, y puntos de vista categóricos permiten la composición de morfismos y el estudio de la categoría de teorías.

Inversión

La noción invertida destaca interpretaciones que no preservan la consecuencia: un no‑morfismo o antimorfismo puede mapear axiomas a enunciados que no se siguen en la teoría objetivo, produciendo contra‑modelos o denunciando no‑conservatividad; estudiar estas inversiones aclara los límites de la traducción.

Límite

Los morfismos de teorías son sensibles al marco formal elegido (primer orden, presentaciones ecuacionales, enfoques categóricos); no toda traducción intuitiva es un morfismo en un entorno dado, y las distinciones entre morfismos de firmas, interpretaciones, extensiones conservativas y bi‑interpretabilidad definen los límites admisibles.

Tensión semántica

Tensión entre perspectivas sintácticas y semánticas: los mapas sintácticos de firmas pueden escribirse con facilidad, pero la preservación semántica de la consecuencia es más estricta; esto genera compensaciones entre expresividad de la traducción y preservación de propiedades proof‑teóricas o model‑teóricas.

Síntesis

Un morfismo de teorías formaliza una traducción disciplinada de una teoría formal a otra que preserva la consecuencia lógica y permite el traslado de estructura, pruebas y modelos; se sitúa entre el mero renombrado de símbolos y la interpretación completa, con límites precisos fijados por el marco lógico elegido y los requisitos de preservación.