20 Aug
2001
20 Aug
'01
8:29 p.m.
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