- Mme Hariti
- bureau 5056
- 01 57 27 92 13
|Weekly hours||2 h CM|
|Years||M2 Logos Master Logique 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.