Romain BERTHON

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.