## [Lawvere-Theorie](/de/node/63587) Definition Eine kleine Kategorie mit endlichen Produkten, deren Objekte endliche Potenzen eines ausgezeichneten Objekts sind, und deren produkt-erhaltende Funktoren nach Set den Modellen einer finitären algebraischen Theorie entsprechen; sie kodiert operationale Signaturen und Gleichungen kategorisch. ## Prinzip Prinzip Algebraische Theorien kategorisch darstellen, indem n-stellige Operationen als Morphismen aus n-fachen Produkten und Gleichungen als Kommutativitätsbedingungen repräsentiert werden; die Struktur der endlichen Produkte erfasst finitäre Operationen und gleichzeitige Substitution. ## Demonstration Demonstration Die Lawvere-Theorie der Monoide hat Objekte n (natürliche Zahlen, interpretiert als n-fache Produkte) und Morphismen n → 1, die n-stellige Terme darstellen; produkt-erhaltende Funktoren aus dieser Kategorie nach Set sind genau Monoide mit Homomorphismen. ## Fehlanwendung Fehlanwendung Jede Kategorie mit Produkten fälschlich als Lawvere-Theorie zu behandeln, ohne sicherzustellen, dass die Objekte genau endliche Potenzen eines einzigen Erzeugers sind, oder die finitäre/produkt-erhaltende Bedingung für Modelle zu ignorieren; so geht die Entsprechung zu äquationalen Theorien verloren. ## Konsequenz Konsequenz Lawvere-Theorien liefern eine einheitliche Semantik: Modelle sind produkt-erhaltende Funktoren in beliebige Kategorien mit endlichen Produkten, wodurch algebraische Strukturen außerhalb von Set transportiert werden können und Vergleiche mit Monaden und Operaden möglich sind. ## Umkehrung Umkehrung Die umgekehrte Sicht ist die syntaktische äquationale Präsentation (Signaturen und Gleichungen); diese Umkehrung betont Termersetzung und syntaktische Ableitungen statt kategorialer universeller Eigenschaften. ## Abgrenzung Abgrenzung Gilt für finitäre algebraische Theorien, die durch Kategorien mit endlichen Produkten kodiert sind; schließt infinitäre Operationen, Theorien, die Koprodukte oder andere Limiten benötigen, und Kategorien aus, deren Objekte nicht endliche Potenzen eines einzigen Objekts sind. ## Semantische Spannung Semantische Spannung Lawvere-Theorie steht im Spannungsfeld zu Monaden und Operaden als Rahmenwerke für algebraische Theorien: Lawvere-Theorien betonen Aritäten als Produkte und Modelle als produkt-erhaltende Funktoren, Monaden kodieren Strukturen durch Endofunktoren und Operaden konzentrieren sich auf Komposition von Operationen. ## Synthese Synthese Eine Lawvere-Theorie ist eine Kategorie mit endlichen Produkten, erzeugt von einem einzigen Objekt, deren produkt-erhaltende Funktoren nach Set genau die Modelle einer finitären algebraischen Theorie bilden; sie bietet eine kategoriale Kodierung von Operationen, Aritäten und Gleichungen.