Category Theory
4 ECTS, semester 1, 12 weeks
Program requirements | Examen |
Teacher | Francois Metayer |
Weekly hours | 2 h CM |
Years | M2 Logos Master Logique Mathématique et Fondements de l'Informatique |
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.