Le foncteur comme traduction / Théorie des catégories

Cartographier entre des mondes

Les essais précédents ont travaillé à l’intérieur d’une seule catégorie — objets et flèches dans un domaine. Mais le vrai pouvoir apparaît quand vous cartographiez une catégorie entière sur une autre. La manière préservant la structure de le faire s’appelle un foncteur : une traduction qui envoie des objets vers des objets et des flèches vers des flèches, et — crucialement — préserve la composition, de sorte que la manière dont les choses s’enchaînent dans la source est reflétée exactement dans la cible.

Un foncteur n’est pas une ressemblance lâche. C’est une correspondance disciplinée qui garantit que les relations survivent au voyage. Tout ce qui composait dans le premier monde compose de la même manière dans le second. La forme est portée intacte.

L’analogie, rendue exacte

C’est la forme rigoureuse de quelque chose que nous faisons constamment et habituellement mal : l’analogie. Quand vous dites qu’une situation est « comme » une autre, vous revendiquez un foncteur — une application sous laquelle les relations dans un domaine correspondent aux relations dans l’autre. L’analogie est bonne exactement dans la mesure où l’application préserve la structure, et elle échoue exactement là où la composition se brise : où enchaîner les relations dans la source ne correspond plus à les enchaîner dans la cible.

Cela donne un compte précis de pourquoi certaines analogies illuminent et d’autres trompent. Une bonne analogie est un foncteur fidèle : elle porte le motif de manière si complète que ce que vous prouvez dans un domaine, vous pouvez le lire dans l’autre. Une mauvaise analogie est une carte brisée : elle correspond à quelques objets mais pas aux flèches, donc les conclusions que vous tirez en suivant les relations dans la source sortent fausses dans la cible. La compétence de bien penser en métaphore est, formellement, la compétence de vérifier si votre foncteur préserve la composition.

Tout modèle est un foncteur. Il cartographie un domaine désordonné sur un domaine traitable et n’est digne de confiance que dans la mesure où il préserve les relations qui comptent. Un modèle qui garde les objets mais laisse tomber les flèches est une liste, pas une compréhension.

Ce que cette enquête a fait

Regardez en arrière et toute la structure de ces sujets se révèle comme une série de foncteurs. Nous avons cartographié la logique de l’évolution sur la logique de la culture — accumulation, dérive, sélection — et la cartographie tenait parce qu’elle préservait les relations, pas seulement les mots. Nous avons cartographié la convexité des options sur la convexité des institutions, des carrières, des expériences, et les leçons se sont transférées parce qu’une seule structure était portée à travers beaucoup de matériaux par une correspondance fidèle.

C’est pourquoi la même poignée d’idées continuait de réapparaître dans sujet après sujet. Ce n’étaient pas des coïncidences et ce n’étaient pas de vagues ressemblances. C’étaient des images fonctorielles les unes des autres — la même structure, traduite fidèlement dans de nouveaux domaines, ses relations intactes. La ligne de continuité de toute cette enquête est, au sens strict, un réseau de foncteurs connectant une région de connaissance à la suivante.

Traduction vers le présent

Un foncteur vous permet de prendre tout ce que vous comprenez d’un monde et de le porter vers un autre, pourvu que la structure se cartographie. C’est le mouvement le plus puissant dans la pensée : cesser de résoudre chaque domaine à partir de zéro et au lieu de cela porter une structure résolue dans le domaine non résolu.

Nous tenons maintenant la boîte à outils complète. L’identité est relationnelle ; le sens est structurel et indépendant du substrat ; et les foncteurs portent la structure fidèlement de n’importe quel domaine vers n’importe quel autre qui partage sa forme. La chose naturelle à faire avec un outil aussi général est de le viser sur le monde dans lequel nous vivons réellement — et la caractéristique définissante de ce monde est qu’il a fait, à l’échelle planétaire et pour le profit, exactement ce que la théorie des catégories décrit : il a abstrait l’humain en structure capturable, dépouillé de substrat, porté dans des machines. Le premier endroit où cette abstraction mord est la ressource humaine la plus rare de toutes. La lentille est construite. Il est temps de la pointer sur le flux.