Eine strukturerhaltende Abbildung zwischen formalen Theorien, die Symbole, Formeln und Axiome einer Quelltheorie in eine Zieltheorie übersetzt, so dass Ableitbarkeit oder modelltheoretische Folgebeziehungen erhalten bleiben; oft formalisiert als Signaturabbildungen zusammen mit Axiomübersetzungen oder als Interpretationen zwischen Theorien.

Prinzip

Ein Theoriemorphismus legt fest, wie Symbole und Relation-/Funktion-/Prädikatsymbole abgebildet werden, und liefert eine Übersetzung von Formeln, sodass, wenn die Quelltheorie eine Formel folgt, die übersetzte Formel in der Zieltheorie folgt; dies stellt sicher, dass logische Konsequenzen entlang des Morphismus übertragen werden und erlaubt das Mitnehmen von Modellen und Beweisen.

Demonstration

Eine Interpretation, die die Sprache der Gruppen in die Sprache der Monoide sendet, indem das Gruppenmultiplikationssymbol auf die Monoidenmultiplikation abgebildet und Inverse über Existenzprädikate interpretiert werden, ergibt einen Theoriemorphismus (mit sorgfältiger Behandlung der Axiome), der zeigt, welche gruppentheoretischen Aussagen in Monoiden ausgedrückt oder erhalten bleiben können; analog induziert ein Signaturhomomorphismus, der eine Ring‑Sprache in eine reichere Algebra‑Sprache einbettet, einen Morphismus, der Axiome des Rings in Algebraaxiome übersetzt.

Fehlanwendung

Jede rein syntaktische Umbenennung von Symbolen ohne Prüfung der Erhaltung der Konsequenz als Theoriemorphismus zu bezeichnen oder notwendige Übersetzungen von Axiomen und Quantoren zu vernachlässigen; derartige laxen Identifikationen können die logische Konsequenz brechen und nichtkonservative Übersetzungen erzeugen, die übertragene Theoreme ungültig machen.

Konsequenz

Ein gültiger Theoriemorphismus erlaubt systematische Wiederverwendung von Definitionen, Theoremen und Modellen: Ergebnisse der Quelle lassen sich in die Zieltheorie transportieren (ggf. als Korollare), konservative Morphismen kennzeichnen sichere Erweiterungen, und kategoriale Sichtweisen erlauben Komposition von Morphismen und das Studium von Theoriekategorien.

Umkehrung

Das inverse Konzept rückt Interpretationen in den Blick, die Konsequenz nicht erhalten: ein Nicht‑Morphismus oder Anti‑Morphismus kann Axiome auf Aussagen abbilden, die in der Zieltheorie nicht folgen, wodurch Gegenmodelle entstehen oder Nichtkonservativität bezeugt wird; die Untersuchung dieser Inversionen klärt die Grenzen der Übersetzung.

Abgrenzung

Theoriemorphismen sind sensitiv gegenüber dem gewählten formalen Rahmen (erste Ordnung, equationale Präsentationen, kategoriale Darstellungen); nicht jede intuitive Übersetzung ist in einem gegebenen Setting ein Morphismus, und Unterscheidungen zwischen Signaturmorphismen, Interpretationen, konservativen Erweiterungen und Bi‑Interpretierbarkeit definieren die zulässigen Grenzen.

Semantische Spannung

Spannung zwischen syntaktischer und semantischer Perspektive: syntaktische Signaturabbildungen sind oft leicht zu formulieren, doch die semantische Erhaltung von Konsequenz ist strenger; dies erzeugt Trade‑offs zwischen Übersetzungsexpressivität und Erhalt von beweis‑ bzw. modelltheoretischen Eigenschaften.

Synthese

Ein Theoriemorphismus formalisiert eine disziplinierte Übersetzung einer formalen Theorie in eine andere, die logische Konsequenz bewahrt und den Transfer von Struktur, Beweisen und Modellen ermöglicht; er bewegt sich zwischen bloßer Umbenennung und vollständiger Interpretation, wobei die genauen Grenzen vom gewählten logischen Rahmen und den Erhaltungsanforderungen bestimmt werden.