add-memberalign-toparrow-leftarrow-rightbellblockcalendarcamerachatchevron-leftchevron-rightchevron-small-downchevron-upcircle-with-crosscomposecrossfacebookflagfolderglobegoogleimagesinstagramkeylocation-pinmedalmoremuplabelShape 3 + Rectangle 1pagepersonpluspollsImported LayersImported LayersImported LayersshieldstartwitterwinbackClosewinbackCompletewinbackDiscountyahoo

Toposes and Their Logic, part 2

  • Jun 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:

is 100% about the topic, but, for me, the notation is too sophisticated; I believe things are much simpler than that.

Join or login to comment.

  • Christopher B.

    With regrets, can't make it tonight.

    June 27, 2014

  • Valeria De P.

    Sorry guys, family engagement! I hope to show up in the next meeting, but can't make it tomorrow.

    June 26, 2014

  • Vlad P.

    Eh... your attention please.

    I was planning to walk through the definitions again, and more samples of specific toposes. If you know category theory, it's not a big deal. Not Kan extensions, not Freyd theorem; all pretty simple actually.

    June 21, 2014

    • Sergei W.

      Thank you! Looking forward to Friday!

      June 22, 2014

5 went

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy