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). 