Funktorielle Semantik

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.