FOM: NYC logic conference and panel discussion

[Matthew Frank]

Steve Simpson recently asked:

> I also doubt that it is possible to teach topos theory to someone not
> already familiar with the elements of set theory.  Has anybody tried
> this?

I don't think that this is in the book by Lawvere and Schanuel--after all,
Part I of that book is titled "The Category of Sets".  On the other hand,
a lot of the book discusses the category of directed graphs instead.  In
particular, it discusses truth-value objects in this context, and I found
that useful (the first example of these things that I really liked)
largely because it was so different from the usual set theory.  

--Matt Frank