Théorie des catégories : vous la connaissez déjà

Tout part d’un talk donné par Emilien PECOUL (aka Ouarzy). Durant ce talk, celui-ci a tenté de démontrer à son audience qu’elle connaissait déjà la plupart des concepts formulés dans la théorie des catégories. À mon sens, il y est parvenu même si ce sujet est bien trop vaste pour être abordé en seulement 45 minutes.

C’est pourquoi quelques années plus tard, il m’a proposé de le réadapter avec lui sur un format université (3 heures).

Abstract

La Theorie des Categories est très intimidante. Beaucoup de gens intelligents utilisent beaucoup de mots complexes pour en parler. Est-ce qu’on a besoin de la comprendre en tant que professionnel du code ? En résumé, il s’agit de la branche la plus abstraite des mathématiques. Tellement abstraite que vous l’utilisez déjà probablement, sans le savoir, et que de nombreux théorèmes mathématiques que vous connaissez peuvent également être démontrés à l’aide des catégories. Le but de cette présentation est de montrer que, une fois qu’on a le bon vocabulaire, ce n’est pas si complexe. Nous verrons ensemble à quoi cela peut nous servir, dans le contexte de la programmation. Nous verrons également en quoi la conception en théorie des catégories se rapproche de la conception que nous utilisons pour développer un logiciel.

Les sessions

• Devoxx France - avril 2022 (vidéo)

Code et slides

Vous pouvez retrouver le code et les slides de cette université sur ce repo GitHub.

Commentaires

Envie de commenter ? S’il vous plaît, ajoutez votre commentaire en m’envoyant une pull request.