| Time: | 12:00 - 13:20 |
| Room: |
Scaife Hall 219
|
| Speaker: |
Peter Lumsdaine Department of Mathematical Sciences Carnegie Mellon University |
| Title: |
Sheaves I
|
| Abstract: | Introducing sheaves on a topological space. Generalising to sheaves on a Grothendieck site. Discussing (as far as time allows) how we can interpret logic in a category of sheaves (that is a topos). |