Re: The relevance of category and topos theory

2002-07-18 Thread Wei Dai
On Sun, Jul 07, 2002 at 11:25:28AM -0700, Tim May wrote: http://www.math.uu.se/~palmgren/topos-eng.html Topos Theory, spring term 1999 A graduate course (6 course points) in mathematical logic. Topos theory grew

The relevance of category and topos theory

2002-07-07 Thread Tim May
On Sunday, July 7, 2002, at 12:23 AM, Wei Dai wrote: Hi Tim, it's really interesting to see you here. (For those who don't know, I knew Tim from the cypherpunks mailing list. Hal Finney was an active member of the list as well. See http://www.activism.net/cypherpunk/crypto-anarchy.html if