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