categories: Re: Downloadable Topos tutorial??

[Frank Atanassow <franka@cs.uu.nl>]

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