home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / fj / sci / math / 855 < prev    next >
Encoding:
Text File  |  1992-12-21  |  2.4 KB  |  54 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: <1992Dec21.131940.17213@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: <SHINGO.92Nov30125829@ipc02.rtri.or.jp> <1992Dec15.180201.19986@etl.go.jp> <SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp>
  10. Distribution: fj
  11. Date: Mon, 21 Dec 1992 13:19:40 GMT
  12. Lines: 40
  13.  
  14. In article <SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
  15. >$BLZ2<$5$s$,=P$F$-$F$/$l$F$&$l$7$$>.NS(B@$BN6C+Bg3X$G$9!#(B
  16.  
  17. $B$3$s$K$A$O!">.NS$5$s!#(B
  18.  
  19. >$B$b$7NI$+$C$?$i!"$3$NK\$rFI$s$@46A[$rJ9$+$;$F$b$i$($^$;$s$+!#9-9p$r8+$F(B
  20. >$B$A$g$C$H6=L#$r;}$C$F!"Gc$C$F$b$$$$$+$J!"$H;W$C$F$$$k$N$G$9$,!"9-9p$@$1(B
  21. >$B$G!"<BJ*$r8+$F$$$J$$$N$G!#(B
  22.  
  23. $B:#!"<j85$K$3$NK\$,$J$$$N$G!":Y$+$$$H$3$m!"4V0c$C$F$$$k$+$b$7$l$^$;$s$,!"(B
  24.  
  25.     S. Maclane and I. Moerdijk: Sheaves and Logic --- A First
  26.     Introduction to Topos Theory, Universitext, Springer-Verlag.
  27.  
  28. $B$H$$$&K\$G$9!#$^$@$[$s$NFI$_;O$a$G!";d$_$?$$$J%b%s$,FI$_=*$o$k$N$O$$$D(B
  29. $B$N$3$H$d$i$o$+$j$^$;$s!#(B
  30.  
  31. Maclane $B$N(B Categories for the Working Mathematician $B!J(BCWM $B$C$F$$$&$s$@(B
  32. $B$=$&$G$9$M$C!K$,!"Fq$7$+$C$?$1$I7wO@$N652J=q$H$7$F$O;d$K$O7k6I0lHV$o$+(B
  33. $B$j$d$9$+$C$?!J$J$s$+<+8JL7=b$7$?(B statement $B$G$9$,!K$,!"$"$NK\$K$O%H%](B
  34. $B%9$N$3$H$,=q$$$F$J$$!#$G!"F1$8Cx<T$N%H%]%9$NK\$,=P$?$N$G4n$s$GFI$_;O$a(B
  35. $B$?$N$G$9$,!"(B
  36.  
  37. $B!J#1!K(BCWM $B$K$/$i$Y$F!"5-=R$,CzG+$K$J$C$F$$$k!#(B
  38.  
  39. $B!J#2!K$G$b!"(Bexample $B$OBe?t4v2?$H=89gO@$+$i$P$C$+$j$J$N$G!"H>J,!JBe?t4v(B
  40. $B2?!K$O$A$s$W$s$+$s$W$s!"$"$H$NH>J,!J=89gO@!K$O$A$s$W$s!J$A$s$W$s$+$s$W(B
  41. $B$s!"$H$^$G$O$$$+$J$$$,$d$C$Q$j$o$+$i$s!K$G!"(Bexample $B$OFI$_Ht$P$5$6$k$r(B
  42. $BF@$J$$!#$=$3$s$H$3$O(B CWM $B$H0l=o!#$G$b!"K\BN$N$H$3$m$O!"$f$C$/$jFI$a$P!"(B
  43. $B$I$s$I$s%$%^%8%M!<%7%g%s$,9-$,$k46$8$G!"9%$-$G$9!#$^!"5$D9$KFI$s$G$^$9!#(B
  44. classifying topos $B$J$s$+$N$H$3$m$^$G9T$/$N$O$$$D$N$3$H$d$i!#(B
  45.  
  46. $B$b$C$H8e$NJ}$^$GFI$s$@$i$^$?46A[$bJQ$o$k$+$b$7$l$^$;$s$,!"$=$l$O$$$D$N(B
  47. $B$3$H$+$o$+$i$s$N$G!"$H$j$"$($::#$N46A[$r!#(B
  48.  
  49. $B$-$N$7$?(B
  50. -- 
  51. KINOSHITA Yoshiki [KINOSHITA is my family name]
  52. Computer Language Section, Computer Science Division
  53. Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, Ibaraki 305 Japan
  54.