Ein Ansatz, der eine syntaktische Kategorie (die eine Theorie oder Sprache präsentiert) als Objektsammlung in einer semantischen Kategorie durch Funktoren interpretiert, die die für die Theorie relevante syntaktische Struktur erhalten; Modelle sind die Funktoren, die syntaktische Operationen als struktur­erhaltende Abbildungen realisieren.

Prinzip

Syntaktische Formbildungsregeln und Schlussregeln als kategoriale Struktur kodieren und die Semantik durch struktur­erhaltende Funktoren von der syntaktischen Kategorie in eine gewählte semantische Kategorie geben, sodass Kompositionalität und Operationen mit der Interpretation vertauschen.

Demonstration

Bei einer äquationsbasierten Theorie bildet man eine kleine Kategorie, deren Objekte endliche Kontexte und deren Morphismen Äquivalenzklassen von Termen sind; ein Modell ist ein produkterhaltender Funktor von dieser Kategorie in die Kategorie der Mengen, der jeder Sorte eine Menge und jeder Operation eine die Gleichungen respektierende Funktion zuweist.

Fehlanwendung

Jede Abbildung syntaktischer Symbole auf semantische Werte als funktorielle Semantik zu behandeln, ohne zu prüfen, ob die Abbildung die kategoriale Struktur (z. B. Produkte, Identitäten, Komposition) erhält, führt dazu, dass Gleichungen oder Kompositionalitätsregeln verletzt werden.

Konsequenz

Korrekt angewendet liefert funktorielle Semantik kompositionelle, modulare Modelle von Theorien, reduziert Modelkonstruktionen auf universelle kategoriale Operationen und macht Transformationen zwischen Modellen zu natürlichen kategorialen Morphismen.

Umkehrung

Statt die Syntax als Objekte in einer semantischen Kategorie zu interpretieren, kehrt man die Abbildung um und fragt, welche syntaktischen Präsentationen durch gegebene semantische Strukturen induziert werden; dies betont die Erzeugung von Syntax durch Semantik statt Interpretation der Syntax.

Abgrenzung

Gilt dort, wo Syntax als Kategorie mit den zu erhaltenden Strukturen (endliche Produkte, monoidale Struktur usw.) organisiert werden kann; schließt semantische Auffassungen aus, die nicht durch Funktoren ausdrückbar sind (z. B. rein statistische Semantik ohne kompositionelle Struktur) oder Fälle, in denen keine treue syntaktische Kategorie existiert.

Semantische Spannung

Steht im Spannungsverhältnis zu modelltheoretischen Auffassungen, die Modelle als Mengen von Wahrheitszuweisungen darstellen statt als Funktoren; der Konflikt liegt zwischen der Behandlung von Modellen als mengenbasierte Strukturen und als struktur­erhaltende Abbildungen von einem kanonischen syntaktischen Objekt.

Synthese

Functorielle Semantik lautet kategoriale Anweisung: Verpacke eine Theorie als syntaktische Kategorie und realisiere ihre Modelle als Funktoren in eine semantische Kategorie, sodass syntaktische Komposition und strukturelle Zwänge exakt durch das funktorielle Bild reflektiert werden.