Scolarité M2 (sauf MIC, MIDS)
- Mme Chatoux
- bureau 5055
- 01 57 27 93 06
- Mme Prudlo
- bureau 5055
- 01 57 27 93 06
Théorie des Catégories
4 ECTS, semestre 1, 12 semaines
| Validation | examen |
| Enseignant | Francois 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.