home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!rinsgw!rins!satoshi
- From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
- Newsgroups: fj.sci.math
- Subject: Re: Topos (Re: Q in int. math.)
- Message-ID: <SATOSHI.92Dec22181125@whale.math.ryukoku.ac.jp>
- Date: 22 Dec 92 09:11:25 GMT
- References: <1992Dec15.180201.19986@etl.go.jp>
- <SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp>
- <1992Dec21.131940.17213@etl.go.jp> <1992Dec21.235308.9137@etl.go.jp>
- Sender: news@rins.ryukoku.ac.jp
- Distribution: fj
- Organization: Ryukoku Univ., Seta, Otsu, Japan
- Lines: 33
- In-reply-to: yoshiki@etl.go.jp's message of 21 Dec 92 23:53:08 GMT
-
- $@>.NS(J@$@N6C+Bg3X$G$9!#(J
-
- In article <1992Dec21.235308.9137@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:
-
- |$@%H%]%9$N652J=q$H$7$F(J category theory $@$N?M!9$K$H$C$FI8=`E*$J$N$O(J
- |
- |@book{Barr-Wells85,
- | author={{M.\ Barr and C.\ Wells}},
- | title={Toposes, Triples and Theories},
- | publisher={Springer-Verlag},
- | series={Grundlagen der math.}
- | volume={278},
- | year=1984}
- |
- |$@$_$?$$$G$9!J$3$NK\$O0l1~(J self-contained$@!#7wO@$N=iJb$b(J adjunction $@$d(J
-
- $@$R$H$3$m!"7W;;5!(J$@4X78$N?M$,(J Lambek $@$H(J Scott $@$NK\$r$h$/FI$s$G$$$?$_$?$$(J
- $@$G$9$,(J($@;d$b;}$C$F$$$^$9(J)$@!"(JBarr-Wells $@$N$[$&$,I8(J$@=`E*$K$J$C$F$$$k$s$G$9(J
- $@$+!#$3$C$A$OFI$s$@$3$H$,$J$$$G$9!#$&$o$5$K$OJ9$$$F$^$7$?$1$I!#(J
-
- $@;d$,@NJY6/$r;O(J$@$a$?:"$K$O!"$d$?$i$HFq$7$$(J Johnstone $@$N(J Topos theory $@$+!"(J
- $@$d$5$7$9$.$k(JGoldblatt $@$N(J Topoi $@$0$i$$$7$+$J(J$@$/$FITJX$@$C$?$N$r;W$$=P$7(J
- $@$^$9!#(J($@$"!"C]Fb(J: $@AX!&7w!&%H%]%9(J $@$b$"$C$?$+!#$G$b!"=i$a$FJY6/$9$k?M$,FI(J
- $@$s$G(J$@3Z$KFI$a$k$H$O;W$($J$$$J$"!#(J) $@:#$O!"$:$$$V$sBt;3$NK\$,=P$F$-$F$$$$(J
- $@$G$9$M!#(J
-
- $@$=$&$$$($P!"A0$K$I$J$?$+(J$@$,!"E,Ev$J%H%]%94X78$NK\$O$J$$$+!"$H$$$&<ALd$r(J
- $@$5$l$F$^$;$s$G$7$?$C$1(J?
- --
- $@N6C+Bg3XM}9)3XIt?tM}>pJs(J$@3X2J(J $@>.NS(J $@Ao(J
- satoshi@whale.ryukoku.ac.jp
- 0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
- 0775-43-7524(FAX)
-