Für Ökonomen: vierzehn offene Fragen und ihre Antworten

An Ökonomen gerichtet. Martin Hellwig hat 1993 in seiner „Challenge of Monetary Theory“ und 2018 erneut diagnostiziert, dass die Geldtheorie keine konzeptuellen Grundlagen hat: Das Wort „Geld“ steht für mindestens vier verschiedene Dinge — gesetzliches Zahlungsmittel, Tauschmittel, makroökonomisches Aggregat, Recheneinheit — ohne dass der Bedeutungsunterschied je formalisiert wurde. Im Licht dieser Arbeit ist das ein Typfehler: dasselbe Wort für verschiedene Typen. Kategorientheorie ist die Sprache, die ihn behebt — sie wurde für genau die Selbstähnlichkeit über Ebenen erfunden, an der die mengentheoretische Gleichgewichts-Ökonomik seit Walras scheitert, und sie hält Invarianzen relational statt in einem global flachen Raum.

MoMaT-A (Monetary Macro Accounting Theory) stellt die Ökonomik daher auf eine kategorielle statt mengentheoretische Grundlage: Geld ist die Tilgung von Schuldverhältnissen, die Buchhaltung das axiomatische Substrat, und die zentrale Konsistenzbedingung — Soll gleich Haben — wird zur Invarianz der Bücher (Noether-Theorem der Buchhaltung). Vierzehn offene Fragen, jeweils mit der Antwort dieser Theorie:

1. Allgemeines Gleichgewicht seit Walras — erklärt nicht, wie monetäre Wirtschaften lernen. Antwort: Adjunktionen statt Fixpunkte — Unit η und Counit ε messen den Abstand zwischen Theorie und laufendem Modell; das System lernt am gemessenen Schiefgehen, nicht an einem Fluchtpunkt.
2. Geld als Recheneinheit — in der Buchhaltung fix, in der Theorie ungeklärt. Antwort: unit of account gleich unit of adjunction — die Recheneinheit η liegt über dem terminalen Objekt C (Zentralbankgeld), kein Wortspiel, sondern dieselbe Struktur.
3. Endogene Währungseinheiten (Schumpeter) — aktiv gestaltende Größen, kein passiver Maßstab. Antwort: Geld als Typensystem G → R → C (Giral, Reserve, Bargeld), Bargeld als terminales Objekt, Schöpfung als Singleton-Buchung der Zentralbank.
4. Hayeks Wissensproblem — verteiltes, lokal verankertes Wissen ohne zentralen Schnitt. Antwort: der Sheaf-Topos — lokale Bücher kleben zu globaler Konsistenz, Reconciliation ist Sheafifizierung, kein zentraler Auktionator nötig.
5. Simons satisficing — die Optimierung der Optimierung. Antwort: zwei Lernschleifen — operativ (Strategie bei festen Regeln) und systemisch (Revision der Regeln selbst) — als zwei Adjunktionen desselben Topos.
6. Die Lucas-Kritik — Theorie wird performativ zur Infrastruktur und bricht, sobald Agenten sie kennen. Antwort: ein eingebautes Fehlermaß (Sim ⊣ Est) misst den Theorie-Modell-Abstand kontinuierlich; statt eines toten Makro-Gleichgewichts (DSGE) ein lokales Gleichgewicht im Topos (DSLE).
7. Sonnenschein–Mantel–Debreu — keine eindeutige Aggregation. Antwort: kein flacher Aggregatraum, sondern ein Coend über Profunktoren — bei der Aggregation canceln sich alle Finanzpositionen, übrig bleiben ausschließlich reale Größen.
8. Die fehlende Disaggregation — unter globaler Budgetrestriktion. Antwort: die Rechtsadjunktion (Makrofundierung der Mikro) disaggregiert Z → B → A — als Counit, 2500 Jahre vor SMD bereits in der Einbettung des Oikos in die Polis angelegt.
9. Die Budgetrestriktion der Geophysik — es gibt keinen „Planet B“. Antwort: Einheiten und Typen erzwingen physikalische Bilanzgrenzen — eine Mathematik der Anwendung ohne Einheiten ist unbrauchbar, Erhaltungsgrößen gelten auch für Ressourcen.
10. Georgescu-Roegen, Noether, Eichinvarianz — formal, nicht metaphorisch. Antwort: die Pacioli-Gruppe ist die Transformationsgruppe der Buchhaltung; aus der Symmetrie Soll gleich Haben folgt nach Noether die Bilanzerhaltung — maschinell verifiziert.
11. Die Ausbildung von Ökonomen — für Institutionen- und Informationsarchitektur. Antwort: drei lernbare, maschinenausführbare Sprachen — Buchhaltung (AccCat), Entscheidung (DecCat), Governance (GovCat) — statt einer einzigen Gleichgewichtsmathematik.
12. Information versus Ware — non-rival gegen rival. Antwort: lineare Logik für Ressourcen, freie Kopierbarkeit für Information; kartesisch geschlossene gegen symmetrisch-monoidale Kategorie — Plattformmonopole werden typisierbar.
13. Was Theorie und Modell sind — und wo sie verortet werden — das methodisch-ontologische Zentralproblem. Antwort: eine Lawvere-Theorie T, ein Modell als Funktor M: T → E, ein Modellwechsel als natürliche Transformation; die Wahl der Semantik ist Set gegen Topos.
14. Hellwigs Frage „Was ist Geld?“ — das ontologische Rätsel der Ökonomik. Antwort: Geld ist die Tilgung von Schuldverhältnissen, relational bestimmt nach Yoneda durch sein Verhalten zu allem anderen — der Typfehler in „Geld“ wird durch die Typisierung G/R/C aufgelöst.

Verteilung ist berechenbar. MoMaT zeigt die Orthogonalität von Verteilung und Stabilität: Die Verteilungsfrage — wer bekommt was vom gemeinsam Produzierten — wird durch Preise und Buchungen gelöst und ist über die Eichinvarianz von Fremd- und Eigenkapital formal zugänglich. Profit erscheint nicht als Ausbeutung, sondern als Risikoprämie der Vorfinanzierung und als Frage der Risikopräferenz von Arbeitern und Unternehmern.

Der Kapitalismus ist stabilitätsfähig — bewiesen als Hylomorphismus. Kreditfinanzierte Investition entlohnt risikoaverse Arbeiter vor dem Verkauf (Anamorphismus, Produktion als Entfaltung der Coalgebra); die Nachfrage validiert die riskante Investition, die Tilgung schließt den Zyklus (Katamorphismus, Konsum als Faltung der Algebra). Nachfrage validiert Investition. Das System ist gleichgewichtsfähig, aber nicht gleichgewichtsverpflichtet: Stabilität ist erreichbar, wenn die Dreiecksidentitäten der Adjunktionen erfüllt sind, Krisen sind möglich, wenn sie verletzt werden.

Risiko verschwindet nie, es wird getragen — entlang der Risiko-Absorptions-Hierarchie Agent–Bank–Zentralbank (ABZ). Banken poolen die Projektrisiken der Agenten, die Zentralbank absorbiert das Bankenrisiko und ist als terminales Objekt von Liquiditätsbeschränkungen frei. Liquiditätskrisen sind daher keine Solvenzkrisen, sondern Synchronisationsprobleme der Zeit.

Alles zusammen tragen drei gekoppelte Schichten — Buchhaltung, Entscheidung, Governance — als Architektur digitaler Zwillinge, lauffähig in Haskell und maschinengeprüft in Agda. Geldtheorie, Verteilung und Stabilität in einer Sprache.

Der Topos und die acht Stufen: von Robinson zur BIS

Was ist der Topos der Wirtschaftspolitik? Ein Open Game ist offen — es importiert seinen Kontext und gibt sein Ergebnis nach außen. Schließt man es hinten und vorne, indem man den Goal-Port über einen Trace mit dem State-Port verbindet, wird die Kategorie ökonomischen Verhaltens compact closed. Die drei Ports des Spiels werden dabei zu den drei OiC.OS-Schichten: aus state, decision, goal werden Buchhaltung (AccCat), Entscheidung (DecCat) und Governance (GovCat).

Diese drei Schichten sind nicht durch ein Gleichgewicht verbunden, sondern durch Adjunktionen: Sim ⊣ Est zwischen Buchhaltung und Entscheidung (operatives Lernen), Constrain ⊣ MechDesign zwischen Entscheidung und Governance (systemisches Lernen) und Pull ⊣ Push zwischen Governance und Buchhaltung (Compliance). Geschlossen wird der Zyklus über das terminale Objekt C (Zentralbankgeld): unit of account gleich unit of adjunction. Diese Drehung in der Zeit ist die Geldspirale. MoMaT-I baut sie Stufe für Stufe auf — jede Stufe läuft auf dem OiC.OS-Engine, zuerst deterministisch, dann als stochastisches Lernen der Agenten, dann als systemisches Lernen der Institutionen:

• Stufe 1 — Subsistenz, Robinson — die Kategorie und ihre Zeit. Produktion als Coalgebra (unfold), Realisierung als Katamorphismus (fold).
• Stufe 2 — Freitag — die erste Relation als Profunktor; zwei Agenten parallel komponiert über das Tensorprodukt.
• Stufe 3 — Investition — das Open Game und die Finalursache — die Counit ε schließt teleologisch am Goal-Port, das Ziel zieht die Entscheidung.
• Stufe 4 — Bank — das Coend aggregiert die bilateralen Spiegel; ein lokaler Trace verrechnet Forderung und Verbindlichkeit.
• Stufe 5 — Zwei Banken — der Interbank-Span liefert die zuvor fehlende Unit η — aus internem Nostro/Loro wird ein handelbarer Wechsel; jetzt ist das Spiel compact closed.
• Stufe 6 — Drei Banken, OiC.OS — der Topos. Institutionskosten machen die Gov–Dec-Schleife ökonomisch nicht mehr degeneriert — systemisches Lernen über die Regeln selbst wird relevant.
• Stufe 7 — Währungsraum — der FX-Funktor übersetzt zwischen Währungen; jede Zentralbank ist die terminale Liability ihres Gebiets.
• Stufe 8 — BIS — die ultimative Schließung; der Ouroboros schließt die globale Abrechnung zur Ausgangssite zurück.

Die Verschiebung der Fragestellung ist entscheidend: Klassische Partialmodelle fragen „gegeben die Institutionen, welches Verhalten ist optimal?“. Compact closure fragt umgekehrt „welche Institutionen machen welches Verhalten überhaupt schließbar?“. Governance steht damit nicht außerhalb des Systems, sondern ist ein lernendes Objekt des Topos — kein externer Planer, sondern ein Pentagon, das die zulässigen Spiele typisiert.

Unter den drei Schichten liegt eine Ausführungsebene: Jede Schicht ist eine eigene Sprache (DSL), deren Programme erst auf der Maschine berechnet werden (Apply/Eval, eine Turing-Instruktion). Der Debugger digitaler Zwillinge misst dann lokalisiert, wo die Geldspirale bricht — als getypter Effekt in genau der Schicht und auf genau der Settlement-Ebene, statt als undifferenziertes „fehlgeschlagen“.

Vorwärts gelesen wächst die Architektur mit jeder Stufe; rückwärts gelesen trug schon Stufe 1 — ein einzelner Buchungssatz — die Struktur der Stufe 8. Das ist der Ouroboros: das Ganze und die Teile bestimmen sich gegenseitig.