Objets et flèches / Théorie des catégories

La contrainte fondatrice

La plupart des manières de comprendre une chose commencent par l’ouvrir : de quoi est-elle faite, qu’y a-t-il à l’intérieur ? La théorie des catégories commence en interdisant cette question. Elle dit : vous ne pouvez pas regarder à l’intérieur d’un objet. Vous ne pouvez voir que les flèches — les manières préservant la structure par lesquelles un objet se cartographie vers un autre. Quoi que vous vouliez savoir, vous devez le reconstruire à partir du motif des flèches seul.

Cela sonne comme un handicap paralysant. Il s’avère que c’est un super-pouvoir. En refusant de regarder à l’intérieur, la théorie des catégories capture exactement ce qui est commun à des choses radicalement différentes — parce que les intérieurs sont ce qui diffère, et les flèches sont ce qu’elles partagent.

Ce qu’est une catégorie

La machinerie est presque insultante de simplicité. Une catégorie est juste deux sortes de choses et une règle :

Objets — des points, dont nous acceptons d’ignorer la nature interne.
Flèches (ou morphismes) — des connexions d’un objet à un autre, les relations qui respectent quelle que soit la structure en jeu.
Composition — la règle selon laquelle les flèches s’enchaînent : s’il y a une flèche de A à B et une de B à C, il y a une flèche composite directement de A à C.

Ajoutez deux conditions de ménage — chaque objet a une flèche d’identité vers lui-même, et la composition ne se soucie pas de comment vous la groupez — et c’est toute la définition. Tout le reste de ce vaste sujet est construit à partir de points, de flèches, et du fait que les flèches composent.

Pourquoi la composition est le cœur

La véritable étoile ici est la composition. C’est l’énoncé formel que les relations s’enchaînent — que les connexions se combinent en connexions supplémentaires, de manière prévisible. Un trajet de la maison à la gare et un de la gare au travail composent en un trajet de la maison au travail. Une fonction alimentant une autre fonction compose en une fonction unique. Une cause menant à un effet menant à un effet compose en cause-à-effet-final.

La composition est ce qui fait d’une collection de flèches une structure plutôt qu’un tas de liens déconnectés. C’est la règle qui permet aux relations locales de s’édifier en relations globales, et c’est la raison pour laquelle une catégorie peut décrire tout ce qui a des parties connectées de manières qui se combinent.

Une catégorie est la mathématique minimale des « choses connectées par des relations qui s’enchaînent ». Presque tout est cela, c’est pourquoi la théorie des catégories parle de presque tout.

Le point défini par ses flèches

La conséquence la plus étrange et la plus importante de la contrainte fondatrice est ce qui arrive aux objets. Interdit de regarder à l’intérieur, vous en venez à connaître chaque point entièrement par ses flèches — ce qui s’y cartographie, ce vers quoi il se cartographie, comment celles-ci composent. L’objet cesse d’être une chose avec un contenu et devient une position dans un réseau de relations.

Ce n’est pas une perte d’information. C’est une découverte que, pour tout ce qui compte structurellement, le réseau de relations était l’information. L’« intérieur » qu’on vous a interdit de regarder s’avère être sans rapport avec toute question structurelle — et le pari de la théorie des catégories est que les questions structurelles sont les profondes.

Pourquoi commencer un sujet ici

Nous n’y sommes pas arrivés arbitrairement. Le sujet précédent s’est terminé en remarquant que la partie transférable de la prise de décision était la structure — les relations entre options, dépouillées des objets. La théorie des catégories est ce que vous obtenez quand vous prenez cette remarque et en faites le fondement de tout : une mathématique dont la notion primitive est la flèche, la relation, et dont les objets ne sont que des extrémités.

C’est le sujet le plus abstrait des mathématiques précisément parce qu’il a jeté le plus : il n’a gardé que la relation et la composition, et a tout le reste écarté. Les essais suivants suivent ce que cette soustraction radicale révèle — d’abord, qu’un objet n’est vraiment rien d’autre que ses relations, une affirmation avec des conséquences bien au-delà des mathématiques.