Le lemme de Yoneda et le moi : être, c'est se relier

L'image : la personne qu'on ne voit que du dehors

Reprends l'image de départ, parce que tout part d'elle. Une personne dont l'intérieur t'est à jamais inaccessible, mais dont tu peux relever toutes les interactions : ses réponses à chaque situation, à chaque autre, dans tous les cas possibles. L'intuition ordinaire dit : « d'accord, mais il reste un vrai elle, caché derrière tout ça ». Le lemme de Yoneda dit l'inverse — une fois le catalogue vraiment complet, il ne reste rien à cacher. Le répertoire épuisé est la personne.

Soyons honnêtes tout de suite, avant d'aller plus loin : l'image boite, comme toutes les images. Une personne réelle a un intérieur physique — un corps, un cerveau, une nuit intérieure ; un objet mathématique, non. On tiendra cette honnêteté jusqu'au bout de la page. Mais la structure de l'idée, elle, est exacte, et c'est elle qui vaut le détour.

Ce que dit vraiment le lemme de Yoneda

En théorie des catégories — la branche des mathématiques qui étudie les objets non par leur contenu mais par leurs flèches (leurs relations) — un objet n'a pas de structure interne visible. Il n'est connu que par les morphismes qui le relient au reste. Le lemme de Yoneda, démontré par Nobuo Yoneda en 1954, transforme cette philosophie en théorème.

Notons hom(A,–) le « profil relationnel complet » de l'objet A : la donnée, pour chaque autre objet X, de toutes les flèches qui vont de A vers X. C'est le catalogue d'interactions de notre image. Le lemme établit alors une chose forte :

La conséquence, formulée simplement : un objet est exactement, sans reste ni surplus, le répertoire complet de ses relations avec tout le reste. On peut le remplacer par ce répertoire sans rien perdre. « Être », dans une catégorie, c'est « se relier de telle manière à tout » — et rien d'autre.

Il n'y a pas d'essence cachée derrière les relations. Les relations, prises toutes ensemble, sont l'essence.

Pourquoi ça marche : la flèche identité suffit

La preuve complète est technique, mais son cœur tient en une idée d'une simplicité qui fait sourire une fois vue. La question est : comment récupérer l'objet A tout entier à partir du seul catalogue de ses relations ? Où est-il « caché » dans hom(A,–) ?

Réponse : dans une relation très particulière, celle de A avec lui-même. Parmi toutes les flèches partant de A, il y en a une que tout objet possède d'office : la flèche identité, notée id_A — « A vu comme exactement A ». Cette unique flèche, la relation de la chose à elle-même, suffit à reconstruire tout le reste. Dès qu'une transformation sait où envoyer id_A, elle est entièrement déterminée partout ailleurs. Le point fixe de l'identité verrouille tout.

C'est vertigineux et minuscule à la fois : ce qui « ancre » un objet dans le pur réseau de ses relations, c'est sa relation à soi. Retire tout le reste, garde id_A : le théorème rebâtit l'objet. Voilà pourquoi le répertoire relationnel ne perd rien — il contient déjà, dans sa flèche identité, le germe de toute la reconstruction.

Le pont vers le moi — et sa nature exacte

Voilà le moment où il faut être le plus rigoureux, parce que c'est là qu'on peut se tromper agréablement. Le lemme est prouvé — mais comme théorème sur les objets d'une catégorie. Que la personne humaine soit un objet catégorique, que ses « interactions » forment proprement les morphismes d'une catégorie bien définie, cela n'est pas prouvé : c'est une décision de lecture, une analogie.

Distinguons donc nettement deux statuts. Le théorème est du marbre : dans sa catégorie, il ne souffre aucune exception. Le pont entre le théorème et le moi humain est une passerelle : belle, praticable, féconde — mais elle n'hérite pas de la certitude du théorème. Dire « le lemme prouve que le moi est ses relations » serait vendre une rigueur que l'analogie n'a pas. Ce qu'on peut dire, et qui est déjà beaucoup :

Ce déplacement n'enlève rien : il situe l'idée exactement là où se tient un bon essai — non pas une vérité prouvée sur le moi, mais une structure rigoureuse venue d'ailleurs, importée dans la psychologie de la personne pour voir ce qu'elle éclaire. C'est plus honnête, et franchement plus solide.

L'axe psychologique : trois portes, du ferme au vertigineux

Avant de descendre côté psychologie, une remarque qui vient de bien plus bas dans l'escalier — et qui donne une intuition concrète de tout ce qui précède. Une simple porte logique — un NAND, la brique dont on peut tout reconstruire — ne se définit pas par sa substance ni par son câblage, mais par sa table de vérité : le catalogue de ses réponses à toutes les entrées possibles. Deux circuits qui produisent la même table sont le même comportement, point. Une porte est son répertoire de réponses.

C'est, en miniature et en très concret, exactement ce que Yoneda énonce en général. Un point de rigueur sur la direction : NAND ne découle pas de Yoneda, et Yoneda ne découle pas de NAND — les portes logiques précèdent d'ailleurs la théorie des catégories de plusieurs décennies. Ce n'est pas un lien de dérivation, c'est un lien d'instanciation : la table de vérité et le lemme sont deux cas d'une même idée, à deux étages d'abstraction. La porte en est l'avant-goût concret ; Yoneda, la formulation ultime. Si « être = répondre de telle manière à tout » vaut pour une porte, une question se pose : jusqu'où monte cette idée ? Voici trois portes psychologiques, de la plus solide à la plus spéculative — en marquant nettement où le sol est ferme et où il devient meuble.

Porte 1 — le moi comme répertoire de relations · terrain ferme

La version défendable, et elle l'est vraiment. Je ne suis pas une essence cachée derrière mes comportements, que ceux-ci trahiraient imparfaitement. Je suis la totalité de mes manières de me relier — aux autres, aux situations, au monde. Il n'y a pas un « vrai moi » sous le comportement total : le comportement total, épuisé, est le moi. Cette lecture n'a rien d'exotique en psychologie : la théorie de l'attachement définit déjà la personne par ses patterns de lien, et non par une substance intérieure. Yoneda ne fait qu'en donner la forme la plus nette.

Porte 2 — changer, c'est modifier le répertoire · conséquence assumée

Si l'on accepte la porte 1, celle-ci suit logiquement — c'est une conséquence, pas une nouvelle hypothèse. Changer n'est alors pas « libérer un vrai moi enfoui » : il n'y a rien à libérer, aucun noyau intact sous les habitudes. Changer, c'est modifier le répertoire lui-même, relation par relation — reconfigurer ses manières de répondre au monde. Le travail sur soi cesse d'être une fouille (retrouver qui je suis vraiment) pour devenir une refonte (réécrire comment je me relie). C'est exigeant et, à bien y regarder, plutôt libérateur : rien n'est gravé dans un noyau, tout est dans des flèches qu'on peut retracer.

Porte 3 — l'authenticité en question · spéculatif, ouvert

Ici le sol devient meuble, et mieux vaut le signaler que trancher. Si le moi est son répertoire relationnel, que devient l'authenticité — l'idée d'un « soi véritable » à retrouver, fidèle à soi contre les masques ? La lecture yonédienne la dissout presque : il n'y aurait pas de soi véritable derrière les rôles, seulement le réseau entier des rôles. Mais l'expérience résiste — chacun sent la différence entre « faire semblant » et « être soi ». Cette porte-là reste ouverte : une vraie question, là où l'analogie touche à sa limite. La signaler comme ouverte fait partie de la rigueur, pas contre elle.

L'objection du dedans : ce que le répertoire ne capte pas

Une bonne idée se mesure à l'objection qu'elle sait accueillir. En voici une, et la page serait plus pauvre sans elle : un être humain est-il vraiment épuisé par ses relations ?

Il y a un dedans vécu. La douleur qui n'apparaît dans aucune interaction. La pensée jamais dite, jamais agie. La nuit intérieure que nul catalogue externe n'enregistre. Yoneda répond, imperturbable : si cela n'apparaît dans aucune flèche, cela n'existe pas structurellement — ce qui ne se relie à rien n'a, dans la catégorie, aucune existence. Mais l'expérience à la première personne résiste à cette froideur : peut-être y a-t-il un reste que « le répertoire complet des relations » ne capture pas.

Ne tranchons pas — la tension est précisément le contenu vivant de l'idée. On peut seulement noter qu'elle rejoint un débat philosophique réel : celui entre une conception relationnelle de l'identité (on est un nœud dans un réseau) et une conception qui réserve une place à l'intériorité irréductible. Le structuralisme, en métaphysique, penche du côté de Yoneda ; la phénoménologie, du côté du reste.

Il y a même un écho interne à ce site. La page sur le cerveau bayésien décrit un modèle interne caché qui génère nos réponses au monde. Deux lectures se répondent alors : Yoneda dit « tout est dans les relations, le dehors épuise l'être » ; le codage prédictif dit « non, il y a un modèle intérieur, invisible du dehors, qui produit les relations ». Le désaccord n'est pas tranché ici — il est offert.

Ceux qui ont déjà emprunté cet axe

Honnêteté encore : l'idée de lire l'identité par le lemme de Yoneda n'est pas vierge. L'axe — « un objet = ses relations », appliqué à l'esprit — est habité par des travaux sérieux, et le savoir rend l'idée plus solide, pas moins. Les citer, c'est l'ancrer.

En sciences de la conscience, deux chercheurs ont proposé de caractériser la conscience non pas « en soi » mais par la description exhaustive de ses relations à toute autre expérience, en s'appuyant explicitement sur le lemme de Yoneda comme fondement mathématique. En sciences du cerveau, des travaux sur le « cerveau bayésien compositionnel » posent noir sur blanc que connaître comment une chose se relie aux autres, c'est connaître son identité même — et rattachent cette idée à des traditions humaines très anciennes : la philosophie ubuntu (« je suis parce que nous sommes »), l'idée du linguiste Firth qu'« on connaît un mot aux fréquentations qu'il entretient », ou la parabole des aveugles et de l'éléphant. D'autres, plus spéculatifs, tentent d'ériger la contrainte de Yoneda en principe quasi physique, relié au structuralisme et à la métaphysique de l'identité.

Ce qui, dans ces travaux, ne semble pas encore fait : brancher explicitement cette structure sur la psychologie de la personne au sens vécu, quotidien — celui du reste de ce site. L'axe est établi de longue date ; c'est ce parcours-là, du théorème jusqu'à l'identité ordinaire, que la présente page se propose de tracer.

Références

• Naotsugu Tsuchiya & Hayato Saigo, « A relational approach to consciousness: categories of level and contents of consciousness », Neuroscience of Consciousness, 2021. doi.org/10.1093/nc/niab034
• Toby St Clere Smithe et al., « Mathematical Foundations for a Compositional Account of the Bayesian Brain », arXiv:2212.12538. arxiv.org/abs/2212.12538
• Emily Riehl, Category Theory in Context — pour le lemme de Yoneda et sa preuve, exposés proprement (référence classique et accessible).