Théorie des catégories : à quoi sert tant d’abstraction ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Alors aujourd'hui, on va se lancer dans une expérience de pensée. Imaginons un instant, et si les mathématiques modernes, avec tous leurs symboles un peu impénétrables et leur jargon qui donne parfois le tournis, bah si c'était qu'un immense ramassis d'inepties abstraites. Un truc totalement déconnecté de la réalité.

Intervenant 20:21

Ouais, c'est une critique qu'on entend souvent ça.

Intervenant 10:24

Exactement. Mais à l'inverse, si cette abstraction extrême, celle qui donne les sueurs froides aux étudiants, c'était en fait l'outil ultime, genre le seul langage vraiment capable de décoder l'architecture secrète de notre univers. Et c'est exactement ce paradoxe fascinant qui va guider notre exploration d'aujourd'hui.

Intervenant 20:41

Franchement, c'est une tension remarquable. C'est même probablement l'un des débats les plus stimulants de l'histoire récente des sciences exactes. Parce que derrière ce vocabulaire qui peut vraiment sembler conçu pour repousser les gens, en réalité il se cache des correspondances presque magiques. On parle de jeter des ponts hyper solides entre des mondes mathématiques qui n'auraient en apparence strictement rien en commun.

Intervenant 11:03

Et notre mission pour cette discussion, c'est justement de percer ce mystère. On va plonger dans la fameuse théorie des catégories. On va regarder comment la pensée mathématique a dû en quelque sorte s'arracher à la réalité concrète pour résoudre des problèmes impossibles. Des toutes premières structures isolées jusqu'aux catégories elles-mêmes et même jusqu'à cette notion complètement vertigineuse qu'on appelle les transformations naturelles.

Intervenant 21:26

C'est tout un programme.

Intervenant 11:27

Ah ça je suis prête mais bon décortiquons un peu tout ça pour commencer. Parce que tout cet édifice s'est construit pour une raison précise, par nécessité. La première question qu'on peut se poser quand on observe cette fuite vers l'abstrait dans les années 30, c'est quel a été le déclencheur ? On se réveille pas un matin en se disant tiens je vais tout compliquer juste pour le plaisir quoi. Il y a forcément eu un blocage monumental non ?

Intervenant 21:50

Le blocage, il venait d'une forme d'éparpillement total. Historiquement, l'approche était hyper focalisée sur des objets spécifiques, genre on étudiait des nombres particuliers, on regardait des formes géométriques très précises ou on cherchait à résoudre des équations au cas par cas.

Intervenant 12:05

Une approche très artisanale en fait.

Intervenant 22:07

C'est ça. Mais le problème, c'est qu'à force d'accumuler des théorèmes isolés de tous les côtés, l'édifice mathématique devenait complètement chaotique. Et c'est vraiment dans les années 1930 qu'on assiste à un tournant avec l'émergence de la notion de structure. C'est une période charnière. Elle a été impulsée notamment par le cours d'algèbre de Van der Waarden et puis surtout systématisée par Bourbaki.

Intervenant 12:30

Ah, Bourbaki.

Intervenant 22:32

Ouais, ce fameux collectif de mathématiciens francophones qui a littéralement voulu réécrire toutes les maths depuis la base.

Intervenant 12:38

Mais pour bien comprendre ce basculement, je pense qu'il faut remonter un poil plus loin, à la source même de cette idée de structure. Dans les textes qu'on a consultés pour préparer l'émission, on souligne vachement le rôle d'Évariste Galois. Et c'est quand même un personnage incroyable ce gars. Mort en duel à 20 ans au début du XIXe siècle, mais qui a eu le temps de bouleverser la science avant de disparaître. En quoi son travail sur les équations a semé la graine de cette abstraction ?

Intervenant 23:06

Galois, c'est le génie absolu. Il s'attaquait à un problème que tout le monde traînait depuis des siècles. Trouver une formule générale pour les équations de degré 5 ou plus. Et la grande fulgurance de Galois, c'est qu'il a compris qu'il ne fallait pas s'acharner sur les nombres eux-mêmes.

Intervenant 13:22

Les solutions, tu veux

Intervenant 23:23

dire. Voilà les solutions potentielles de l'équation. Au lieu de ça, il a regardé les symétries entre ces solutions. Il a introduit ce qu'il a appelé le groupe d'une équation. Bon, à l'époque, c'était encore très lié au concret. Il manipulait des groupes de substitution.

Intervenant 13:41

C'est-à-dire ?

Intervenant 23:42

En gros, il regardait comment on pouvait permuter ou échanger les racines d'une équation sans changer son équilibre global.

Intervenant 13:50

D'accord, mais on était encore dans quelque chose de rattaché à une action concrète, du coup. On manipulait des objets tangibles.

Intervenant 23:55

Absolument. Le vrai saut dans le vide, l'abstraction pure, ça arrive quelques décennies plus tard avec le Britannique Arthur Cayley. Lui, il observe le travail de Galois. Et il observe aussi d'autres systèmes, comme la multiplication de matrices en géométrie. Et là, il a une illumination.

Intervenant 14:12

Il se rend compte que c'est la même chose.

Intervenant 24:14

En plein dans le mille. Il réalise que tous ces systèmes, même s'ils utilisent des objets qui n'ont rien à voir, obéissent exactement aux mêmes règles de calcul. Donc il propose de tout simplement se débarrasser de la nature des objets. C'est la naissance du groupe abstrait. On s'en fiche de ce que sont les éléments, on définit juste une loi de composition.

Intervenant 14:35

C'est un changement de lunettes radical. Pour que notre audience puisse visualiser le truc, c'est un peu comme, tiens, si on veut comprendre l'essence de l'addition. Pendant des millaines, on a additionné trois pommes et deux pommes, puis trois moutons et deux moutons. L'approche de Kelly et de Bourbaki, c'est de dire que les pommes et les moutons, c'est une distraction.

Intervenant 24:54

C'est du bruit de fond, oui.

Intervenant 14:55

Voilà. La vraie mathématique, c'est d'étudier l'architecture invisible qui fait que le 3 et le 2 se combinent pour faire un 5. Peu importe les objets en dessous. On étudie le moule, la mécanique.

Intervenant 25:07

Et ce qui est fascinant ici, c'est que ça ne s'arrête pas là. Isoler l'architecture, c'est bien. Mais l'étape cruciale, c'est l'introduction d'un outil pour lier ces structures entre elles. Ce qu'on appelle les morphismes.

Intervenant 15:20

Ah les morphismes, c'est un mot qui revient tout le temps. Fondamentalement, c'est quoi ?