| Time: | 12:00 - 13:20 |
| Room: |
Doherty Hall 4303
|
| Speaker: |
Peter Lumsdaine Department of Mathematical Sciences Carnegie Mellon University |
| Title: |
Intensional type theory and higher category theory II
|
| Abstract: | Here are handwritten notes from this talk |