🚀 go-pugleaf

$@>.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)