June 27, 2014 · 6:30 PM
This location is shown only to members
Second meeting on topos logic.
But I'm planning to run shortly through definitions, and give more examples, so it's not late to catch up.
Slides here - but it is just a plan of the talk.
You are supposed to be familiar with elementary category theory - limits, adjoints, stuff like that. Kan extensions definitely not required. I'll try to (over)simplified everything in the process.
What to read... hard question. I definitely do not recommend Goldblatt; the book, in my opinion, is wrong in its foundations.
P.T.Johnstone, Topos Theory, is the perfect source. Not sure if you can find it anywhere except a) on Google, b) in Stanford library.
P.T.Johnstone's The Elephant is probably too big for the purpose.
This paper: http://math.uchicago.edu/~may/REU2012/REUPapers/Mahany.pdf
is 100% about the topic, but, for me, the notation is too sophisticated; I believe things are much simpler than that.