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