home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / fj / sci / math / 859 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.2 KB  |  29 lines
  1. Newsgroups: fj.sci.math
  2. Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!nao
  3. From: nao@jaist-east.ac.jp (Naoki HAMADA)
  4. Subject: Re: Topos (Re: Q in int. math.)
  5. In-Reply-To: dai@is.s.u-tokyo.ac.jp's message of Tue, 22 Dec 1992 02:41:54 GMT
  6. Message-ID: <NAO.92Dec22134657@mimo.jaist-east.ac.jp>
  7. Lines: 15
  8. Sender: news@jaist-east.ac.jp (News System Administrator)
  9. Reply-To: nao@jaist-east.ac.jp
  10. Organization: ME
  11. References: <1992Dec22.24200.2065@kei.is.s.u-tokyo.ac.jp>
  12. Date: Tue, 22 Dec 1992 04:33:37 GMT
  13.  
  14. $BIMED!wKLN&@hC<Bg(B$B!&@P868&(B $B$G$9!#(B
  15.  
  16. In article <1992Dec22.24200.2065@kei.is.s.u-tokyo.ac.jp> 
  17. $BNkLZ$5$s(B:
  18. > > update $B$b$7$F$k$_$?$$!#%J%&$$?t3X<T$@!#(BFtp $B%5%$%HL>$^$GCN$j$?$$?M$,$"(B
  19. > > $B$l$P;d$N%U%!%$%k$N;3$+$i7!$j=P$7$^$9!#(B(Lazy search? on demand $B$H$$$&$N(B
  20. > > $B$+(B$B$J(B)
  21. >triples.math.mcgill.ca (132.206.150.30):(~ftp)/pub/math/barr/
  22. >$B$G$9$%!#(B
  23.  
  24.   $B$5$C$=$/=P$+(B$B$1$F$_$^$7$?!#(B/pub/math/barr $B$G$O$J$/$F(B /pub/barr $B$N$h$&(B
  25. $B$G$9!#(B"Toposes, Triples and Theories" $B$ODLNc!"(B"ttt" $B$HN,$5$l$k$N$G!"@5(B
  26. $B8mI=$O(B tttcorr.tex (tttcorr.dvi) $B$H$$$&(B$B%U%!%$%kL>$K$J$C$F$$$^$9!#(B
  27.  
  28. $BIMED(B $BD><y(B
  29.