La théorie des catégories

Introduction Les catégories La pratique Applications informatiques Conclusion
LA THÉORIE DES CATÉGORIES
QU’EST-CE QUE C’EST ? QUEL INTÉRÊT EN INFORMATIQUE ?
Romuald THION
Liris – Équipe BD
Vendredi 22 avril 2011
R. Thion Théorie des catégories 1

Introduction Les catégories La pratique Applications informatiques Conclusion
Plan
1Introduction
2Les catégories
3La pratique
4Applications informatiques
5Conclusion
R. Thion Théorie des catégories 2

Introduction Les catégories La pratique Applications informatiques Conclusion
1Introduction
2Les catégories
3La pratique
4Applications informatiques
5Conclusion
R. Thion Théorie des catégories 3

Introduction Les catégories La pratique Applications informatiques Conclusion
Disclaimer
R. Thion Théorie des catégories 4

Introduction Les catégories La pratique Applications informatiques Conclusion
Pourquoi cet exposé ?
La théorie des catégories
maths contemporaines (post Bourbaki)
cadre assez peu connu, voire ésotérique
intellectuellement séduisant
Intérêt pour les informaticiens
cadre fortement typé
démarche constructive
spécification versus implémentation
Un outil majeur de l’informatique théorique...
...Qui aurait sa place en bases de données ?
R. Thion Théorie des catégories 5