Scolarité M2 (sauf MIC, MIDS)
- Mme Chatoux
- bureau 5055
- 01 57 27 93 06
- Mme Prudlo
- bureau 5055
- 01 57 27 93 06
Category Theory
4 ECTS, semester 1, 12 weeks
| Program requirements | Examen |
| Teacher | Francois Metayer |
| Weekly hours | 2 h CM |
| Years | Master Logique et Fondements de l'Informatique |
Syllabus
The course presents the fundamental concepts of category theory, accompanied by numerous examples. The main goal is to pave the way towards the modern applications of category theory in logic, theoretical computer science and homotopy theory.
Contents
- Functors and natural transformations
- Universal constructions : limits and colimits
- Adjunctions and monads
- Brief introduction to higher categories
Bibliography
- 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.