Validationexamen
EnseignantFrancois Metayer
Horaires hebdomadaires 2 h CM
Années Master Logique et Fondements de l'Informatique

Syllabus

Le cours présente les concepts fondamentaux de la théorie des catégories, illustrés de nombreux exemples. L’objectif essentiel est préparer l’accès aux applications actuelles des catégories en logique, en informatique théorique et en théorie de l’homotopie.

Sommaire

  • Foncteurs et transformations naturelles
  • Constructions universelles : limites et colimites
  • Adjonctions et monades
  • Brève introduction aux catégories supérieures

Bibliographie

  • S. Mac Lane. Categories for the working mathematician, Second edition. Graduate Texts in Mathematics, 5. Springer-Verlag, 1998.
  • A. Prouté. Cours de logique catégorique, http://www.logique.jussieu.fr/~alp/cours_2010.pdf
  • T. Leinster. Higher operads, higher categories, London Mathematical Society Lecture Notes Series, 298. Cambridge University Press, 2004.