Der Funktor als Übersetzung / Kategorientheorie

Zwischen Welten abbilden

Die vorangegangenen Essays arbeiteten in einer einzigen Kategorie — Objekte und Pfeile in einer Domäne. Doch die echte Kraft erscheint, wenn man eine ganze Kategorie auf eine andere abbildet. Die strukturerhaltende Art, das zu tun, nennt sich Funktor: eine Übersetzung, die Objekte zu Objekten und Pfeile zu Pfeilen schickt und — entscheidend — die Komposition bewahrt, sodass die Art, wie Dinge in der Quell-Kategorie sich verketten, in der Ziel-Kategorie exakt gespiegelt wird.

Ein Funktor ist keine lose Ähnlichkeit. Er ist eine disziplinierte Entsprechung, die garantiert, dass die Beziehungen die Reise überleben. Was immer sich in der ersten Welt zusammensetzte, setzt sich in der zweiten auf dieselbe Weise zusammen. Die Gestalt wird intakt hinübergetragen.

Analogie, präzisiert

Das ist die rigorose Form von etwas, das wir ständig und meist schlecht tun: Analogie. Wenn man sagt, eine Situation sei „wie” eine andere, behauptet man einen Funktor — eine Abbildung, unter der die Beziehungen in einer Domäne Beziehungen in der anderen entsprechen. Die Analogie ist gut genau in dem Maß, wie die Abbildung Struktur bewahrt, und sie scheitert genau dort, wo die Komposition bricht: wo das Verketten der Beziehungen in der Quell-Kategorie nicht mehr dem Verketten in der Ziel-Kategorie entspricht.

Das gibt einen präzisen Bericht darüber, warum manche Analogien beleuchten und andere irreführen. Eine gute Analogie ist ein treuer Funktor: Sie trägt das Muster so vollständig hinüber, dass was man in einer Domäne beweist, man in der anderen ablesen kann. Eine schlechte Analogie ist eine gebrochene Abbildung: Sie passt einige Objekte, aber nicht die Pfeile, sodass die Schlussfolgerungen, die man durch Verfolgen von Beziehungen in der Quelle zieht, in der Ziel-Kategorie falsch herauskommen. Das Geschick, in Metaphern gut zu denken, ist formal das Geschick zu prüfen, ob der eigene Funktor die Komposition bewahrt.

Jedes Modell ist ein Funktor. Es bildet eine unordentliche Domäne auf eine handhabbare ab und ist nur so weit vertrauenswürdig, wie es die Beziehungen bewahrt, die zählen. Ein Modell, das die Objekte behält, aber die Pfeile fallen lässt, ist eine Liste, kein Verständnis.

Was diese Untersuchung tat

Blicke zurück und die gesamte Struktur dieser Themen enthüllt sich als eine Reihe von Funktoren. Wir bildeten die Logik der Evolution auf die Logik der Kultur ab — Anhäufung, Drift, Selektion —, und die Abbildung hielt, weil sie die Beziehungen bewahrte, nicht bloß die Worte. Wir bildeten die Konvexität von Optionen auf die Konvexität von Institutionen, Karrieren, Experimenten ab, und die Lektionen übertrugen sich, weil eine einzige Struktur durch eine treue Entsprechung in viele Materialien getragen wurde.

Deshalb tauchte dieselbe Handvoll Ideen Thema für Thema wieder auf. Es waren keine Zufälle und keine vagen Ähnlichkeiten. Es waren funktorielle Bilder voneinander — dieselbe Struktur, treu in neue Domänen übersetzt, ihre Beziehungen intakt. Der Leitfaden dieser gesamten Untersuchung ist, im strikten Sinne, ein Netz von Funktoren, die eine Wissensregion mit der nächsten verbinden.

Übersetzung zur Gegenwart hin

Ein Funktor lässt dich alles, was du über eine Welt verstehst, in eine andere portieren, sofern die Struktur sich abbildet. Das ist der mächtigste Schritt im Denken: nicht jede Domäne von vorne zu lösen, sondern eine gelöste Struktur in die ungelöste Domäne zu tragen.

Wir halten nun das vollständige Werkzeug. Identität ist relational; Bedeutung ist strukturell und substratunabhängig; und Funktoren tragen Struktur treu von jeder Domäne in jede andere, die ihre Gestalt teilt. Das Natürliche mit einem so allgemeinen Werkzeug ist, es auf die Welt zu richten, in der wir tatsächlich leben — und das definierende Merkmal dieser Welt ist, dass sie in planetarem Maßstab und für Profit genau das getan hat, was Kategorientheorie beschreibt: Sie hat das Menschliche in erfassbare Struktur abstrahiert, des Substrats entkleidet, in Maschinen portiert. Der erste Ort, wo diese Abstraktion beißt, ist die knappste menschliche Ressource von allen. Die Linse ist gebaut. Zeit, sie auf den Feed zu richten.