Objekte und Pfeile / Kategorientheorie

Die Gründungseinschränkung

Die meisten Verständnisweisen eines Dings beginnen damit, es zu öffnen: Woraus besteht es, was ist innen? Kategorientheorie beginnt damit, diese Frage zu verbieten. Sie sagt: Du darfst nicht in ein Objekt hineinschauen. Du darfst nur die Pfeile sehen — die strukturerhaltenden Wege, auf denen ein Objekt auf ein anderes abbildet. Was immer du wissen willst, musst du allein aus dem Muster der Pfeile rekonstruieren.

Das klingt nach einem lähmenden Handikap. Es stellt sich als Superkraft heraus. Indem sie es verbietet, ins Innere zu schauen, erfasst Kategorientheorie genau das, was völlig verschiedenen Dingen gemeinsam ist — denn das Innere ist das, was sich unterscheidet, und die Pfeile sind das, was sie teilen.

Was eine Kategorie ist

Das Handwerkszeug ist fast beleidigend einfach. Eine Kategorie ist nur zwei Arten von Ding und eine Regel:

Objekte — Punkte, deren innere Natur wir vereinbaren zu ignorieren.
Pfeile (oder Morphismen) — Verbindungen von einem Objekt zu einem anderen, die Beziehungen, die die jeweilige Struktur respektieren.
Komposition — die Regel, dass Pfeile sich verketten: Wenn es einen Pfeil von A nach B und einen von B nach C gibt, gibt es einen zusammengesetzten Pfeil direkt von A nach C.

Füge zwei Haushaltsbedingungen hinzu — jedes Objekt hat einen Identitätspfeil zu sich selbst, und Komposition kümmert sich nicht darum, wie man sie gruppiert — und das ist die vollständige Definition. Alles andere in diesem riesigen Fach ist aus Punkten, Pfeilen und der Tatsache gebaut, dass Pfeile sich zusammensetzen.

Warum Komposition das Herz ist

Der stille Star hier ist die Komposition. Sie ist die formale Aussage, dass Beziehungen sich verketten — dass Verbindungen sich zu weiteren Verbindungen kombinieren, vorhersagbar. Eine Route vom Zuhause zum Bahnhof und eine vom Bahnhof zur Arbeit setzen sich zu einer Route vom Zuhause zur Arbeit zusammen. Eine Funktion, die in eine andere Funktion führt, setzt sich zu einer einzigen Funktion zusammen. Ursache, die zu Wirkung führt, die zu Wirkung führt, setzt sich zu Ursache-zu-Endwirkung zusammen.

Komposition ist das, was eine Sammlung von Pfeilen zu einer Struktur macht statt zu einem Haufen unverbundener Links. Es ist die Regel, die lokale Beziehungen zu globalen werden lässt, und der Grund, warum eine Kategorie alles beschreiben kann, das Teile hat, die auf Arten verbunden sind, die sich kombinieren.

Eine Kategorie ist die minimale Mathematik von „Dingen, die durch Beziehungen verbunden sind, die sich verketten.” Fast alles ist das, weshalb Kategorientheorie über fast alles handelt.

Der Punkt, definiert durch seine Pfeile

Die seltsamste und wichtigste Konsequenz der Gründungseinschränkung ist, was mit den Objekten geschieht. Das Hineinschauen verboten, lernt man jeden Punkt vollständig durch seine Pfeile kennen — was in ihn abbildet, wohin er abbildet, wie diese sich zusammensetzen. Das Objekt hört auf, ein Ding mit Inhalt zu sein, und wird zu einer Position in einem Netz von Beziehungen.

Das ist kein Informationsverlust. Es ist eine Entdeckung, dass für alles, was strukturell zählt, das Netz von Beziehungen die Information war. Das „Innere”, das man sich nicht ansehen durfte, stellt sich heraus, für jede strukturelle Frage irrelevant zu sein — und die Wette der Kategorientheorie ist, dass die strukturellen Fragen die tiefen sind.

Warum ein Thema hier beginnen

Wir kamen nicht willkürlich dazu. Das vorige Thema endete damit, zu bemerken, dass der übertragbare Teil des Entscheidens Struktur war — Beziehungen zwischen Optionen, der Objekte entkleidet. Kategorientheorie ist das, was man bekommt, wenn man dieses Bemerken nimmt und es zur Grundlage von allem macht: eine Mathematik, deren Grundbegriff der Pfeil ist, die Beziehung, und deren Objekte bloße Endpunkte sind.

Sie ist das abstrakteste Fach der Mathematik genau weil sie am meisten wegwarf: sie behielt nur Beziehung und Komposition und verwarf alles andere. Die nächsten Essays folgen dem, was diese radikale Subtraktion enthüllt — zunächst, dass ein Objekt wirklich nichts als seine Beziehungen ist, eine Behauptung mit Konsequenzen weit außerhalb der Mathematik.