FOM: December 1 - December 31, 1999

[Date Prev] [Date Next] [Thread Prev] [Thread Next]
[Date Index] [Thread Index] [FOM Postings] [FOM Home]

FOM: NYC logic conference and panel discussion



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





[Date Prev] [Date Next] [Thread Prev] [Thread Next]
[Date Index] [Thread Index] [FOM Postings] [FOM Home]