The seminar takes place on Fridays 14:30-16:30.
The first aim (March 2009) is to understand a little bit of the recent connections between Martin-Löf type theory and higher category theory, cf. Lumsdaine, arXiv:0812.0409.
| 2009-03-06 | Krzysztof Kapulkin | Introduction to Martin-Löf type theory 1 |
| 2009-03-13 | Krzysztof Kapulkin | Introduction to Martin-Löf type theory 2 |
| 2009-03-20 | Joachim Kock | Globular operads and weak omega-categories 1 |
| 2009-03-27 | Joachim Kock | Globular operads and weak omega-categories 2 |
| 2009-04-03 | Krzysztof Kapulkin | Weak omega-categories from identity types (after Lumsdaine) |