| Time: | 12:00 - 13:20 |
| Room: |
Baker Hall 150
|
| Speaker: |
Peter Lumsdaine Department of Mathematical Sciences Carnegie Mellon University |
| Title: |
Sheaves and forcing
|
| Abstract: | Forcing can be presented in many ways: as generic extensions, as Boolean-valued models, purely syntactically... I shall describe the category-theoretic approach, looking at forcing extensions as categories of sheaves. In particular, I will aim to give a concrete dictionary between this perspective and more familiar set-theoretic presentations. |