Downloadable Topos tutorial??
Hello, Where can I find a Topos tutorial online? Regards, Bill Halchin 18-Aug-2001 11:08:07 -0300,3833;000000000000-0000000d
Galchin Vasili wrote (on 17-08-01 20:07 -0700):
Where can I find a Topos tutorial online?
Another source, more oriented towards computer scientists: Phoa, Wesley, An introduction to fibrations, topos theory, the effective topos and modest sets, 1993, (howpublished=) Available by anonymous FTP from {\tt maths.su.oz.au} in the directory {\tt sydcat/papers/phoa}. It is the file {\tt tech.ps.Z}., (author_acronym=) PhoaW, , , (title_acronym=) intftt. -- Frank Atanassow, Information & Computing Sciences, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-3261 Fax +31 (030) 251-379 20-Aug-2001 10:26:23 -0300,1705;000000000000-00000010
Frank Atanassow wrote (on 20-08-01 12:29 +0200):
Galchin Vasili wrote (on 17-08-01 20:07 -0700):
Where can I find a Topos tutorial online?
Another source, more oriented towards computer scientists:
Phoa, Wesley, An introduction to fibrations, topos theory, the effective topos and modest sets, 1993, (howpublished=) Available by anonymous FTP from {\tt maths.su.oz.au} in the directory {\tt sydcat/papers/phoa}. It is the file {\tt tech.ps.Z}., (author_acronym=) PhoaW, , , (title_acronym=) intftt.
It turns out the location given above is out of date. Try this: http://www.margaretmorgan.com/wesley/ecs-lfcs-92-208.ps or follow the link named "Lecture Notes on the Effective Topos" at: http://www.margaretmorgan.com/wesley/ -- Frank Atanassow, Information & Computing Sciences, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-3261 Fax +31 (030) 251-379 21-Aug-2001 10:16:08 -0300,10187;000000000000-00000015
participants (3)
-
Frank Atanassow -
Galchin Vasili -
Michael Barr