home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / fj / sci / math / 865 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.4 KB  |  33 lines

  1. Newsgroups: fj.sci.math
  2. Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!yoshiki
  3. From: yoshiki@etl.go.jp (KINOSHITA Yoshiki)
  4. Subject: Re: Topos (Re: Q in int. math.)
  5. Message-ID: <1992Dec22.152049.5292@etl.go.jp>
  6. Sender: news@etl.go.jp (News System)
  7. Nntp-Posting-Host: etlpom
  8. Organization: Electrotechnical Laboratory, Tsukuba-shi, Ibaraki
  9. References: <1992Dec21.131940.17213@etl.go.jp> <1992Dec21.235308.9137@etl.go.jp> <SATOSHI.92Dec22181125@whale.math.ryukoku.ac.jp>
  10. Distribution: fj
  11. Date: Tue, 22 Dec 1992 15:20:49 GMT
  12. Lines: 19
  13.  
  14. In article <SATOSHI.92Dec22181125@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
  15. >In article <1992Dec21.235308.9137@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:
  16. >
  17. > |$B%H%]%9$N652J=q$H$7$F(B category theory $B$N?M!9$K$H$C$FI8=`E*$J$N$O(B
  18. > |
  19. > |@book{Barr-Wells85,
  20. ...
  21. >$B$R$H$3$m!"7W;;5!4X78$N?M$,(B Lambek $B$H(B Scott $B$NK\$r$h$/FI$s$G$$$?$_$?$$(B
  22. >$B$G$9$,(B($B;d$b;}$C$F$$$^$9(B)$B!"(BBarr-Wells $B$N$[$&$,I8=`E*$K$J$C$F$$$k$s$G$9(B
  23. >$B$+!#(B
  24.  
  25. $B$I$3$^$GI8=`E*$J$N$+$O!V!)!W$G$9!#$=$l$+$i(B Lambek&Scott $B$H(B Barr&Wells 
  26. $B$G$OFbMF$,?oJ,0c$$$^$9!#(B
  27.  
  28. $B$-$N$7$?(B
  29. -- 
  30. KINOSHITA Yoshiki [KINOSHITA is my family name]
  31. Computer Language Section, Computer Science Division
  32. Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, Ibaraki 305 Japan
  33.