Mathematical logic seminar - October 9, 2007

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