🚀 go-pugleaf

In article <1992Dec21.131940.17213@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:
>$B:#!"<j85$K$3$NK\$,$J$$$N$G!":Y$+$$$H$3$m!"4V0c$C$F$$$k$+$b$7$l$^$;$s$,!"(B
>
>	S. Maclane and I. Moerdijk: Sheaves and Logic --- A First
>	Introduction to Topos Theory, Universitext, Springer-Verlag.

$B$o$O$O!"$d$C$Q$j$^$A$,$C$F$^$7$?!#:Y$+$$$H$3$m$I$3$m$+!"Bj$^$G4V0c$($F$?!'(B

@book{MacLane-Moerdijk92,
	author={{Saunders Mac Lane and Ieke Moerdijk}},
	title={Sheaves in Geometry and Logic---A First Introduction to
		Topos Theory},
	publisher={Springer-Verlag},
	series={Universitext}, 
	year={1992}}

$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,
	author={{M.\ Barr and C.\ Wells}},
	title={Toposes, Triples and Theories},
	publisher={Springer-Verlag},
	series={Grundlagen der math.}
	volume={278},
	year=1984}

$B$_$?$$$G$9!J$3$NK\$O0l1~(B self-contained$B!#7wO@$N=iJb$b(B adjunction $B$d(B 
Yoneda ($B$&!<$s!"4A;z$G=q$/$H46$8=P$J$$$J(B) $B$^$G$O@bL@$7$F$"$k!K$,!"%_%9(B
$B%W%j$,B?$$$N$GM-L>$G!"Cx<T$,@58mI=$r(B ftp $B$GG[$C$F$$$^$9!#7k9=$A$c$s$H(B 
update $B$b$7$F$k$_$?$$!#%J%&$$?t3X<T$@!#(BFtp $B%5%$%HL>$^$GCN$j$?$$?M$,$"(B
$B$l$P;d$N%U%!%$%k$N;3$+$i7!$j=P$7$^$9!#(B(Lazy search? on demand $B$H$$$&$N(B
$B$+$J(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