🚀 go-pugleaf

$BLZ2<$H?=$7$^$9!#$A$g$C$H(B fj.sci.math $B$H8fL5:;BA$7$F$k4V$K!">.NS$5$s$d(B
$B>>K\$5$s$N8x3+9V:B!J!)!K$,;O$^$C$F$F!"3Z$7$/FI$^$;$F$$$?$@$-$^$7$?!#$,!"(B
$B$A$g$C$H0lCJMn$7$?$h$&$J$N$K!"C/$b(B topos $B$N5-;v$K(B follow $B$7$J$$$h$&$J(B
$B$N$G!"!"!"(B

In article <SHINGO.92Nov30125829@ipc02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
>$B>>K\!wE4F;Am8&$G$9!#(B
>
>In article <KUROKI.92Nov28142737@tsuru.math.tohoku.ac.jp> kuroki@math.tohoku.ac.jp (Gen Kuroki) writes:
>>   $B$=$&$=$&!"AX$d%H%]%9$OBe?t4v2?$G$O:G$bIaDL$NBP>]$G$9!#$?$@(B
>>   $B$7!"Be?t4v2?(B*$B$G$b(B*$B$H$$$&$h$j$O!"Be?t4v2?$NLdBj$r2r$/$?$a$K(B
>>   $BAX$d%H%]%9$NM}O@$,(B($BFC$K(B Grothendieck $B$?$A$K$h$C$F(B)$B@0Hw$5$l(B
>>   $B$?$H$$$&J}$,@5$7$$$H;W$$$^$9!#Nc$($P!"(BSGA 4 $B$K$*$$$F!"%H%](B
>
>$B$"$"!"%H%]%9$b(BGrothendieck$B$,9M$($?$s$G$9$+!#CN$i$J$+$C$?!#(B
>($B$b$C$H$b!"B>$KC/$b;W$$IU$+$J$$$+!#(B)

$B$=$&$_$?$$$G$9$M!#;d$_$?$$$J7W;;5!20$O(B Cohomology? $B$J$K$=$l!)(B $B$H$+$$$&(B
$B46$8$G$9$+$i!"(BGrothendieck $B$NDj5A$O$A$s$W$s$+$s$W$s$N$b$N!J$NH&!"8+$?(B
$B$3$H$b$J$$!K$G$9$,!"(BLawvere $B$,$=$l$r8+$F$9$0!"?t3X$r7wO@E*$K4pACIU$1$k(B
$B$N$K;H$($k!"$H5$$,$D$$$F!"$5$i$K$b$C$H4JC1$JDj5A!"$H$$$&$+=iEyE*$JDj5A(B
$B!J$3$l$O7W;;5!20$K$b(B accessible$B!*!K$rM?$($?$N$@$=$&$G$9!#$F$J@8!9$7$$(B
$B5-=R$,:G6a=P$?(B MacLane & Moerdijk $B$NAX$H%H%]%9$N652J=q$K$"$j$^$7$?!#(B
Lawvere $B$HF1;~$K(B Tierney $B$,F1$8$h$&$J(B axiomatization $B$rM?$($?$j$7$F$$(B
$B$F!"C/$,%H%]%9$NM}O@$r;O$a$?$+$rFCDj$9$k$N$OFq$7$$$H$bC/$+=q$$$F$?$J!#(B
(Barr & Wells?)

>$B:G6a$O!"7W;;5!4X78$G$b!"!V7wO@E*!W$J%W%m%0%i%_%s%08@8l$H$$$C$?(B
>$B$h$&$J$3$H$,8&5f$5$l$F$$$k$h$&$G$9$,!"%H%]%9$^$G$O$^$@$$$C$F$J(B
>$B$$$s$8$c$J$$$+$J$H$*$b$$$^$9!#(B($B%h%+%C%?(B^^;)

$B7wO@E*$J%W%m%0%i%_%s%08@8l$H$$$&$H!"GkLnC#Li$5$s$,#DO@$G$d$C$F$*$i$l$?(B
$BOC$N$3$H$G$7$g$&$+!)(B $B#O#B#J$J$s$+$O$b$C$H8E$/$F!"<~$j$K$O$$$C$Q$$7w$N(B
$BOC$,$"$C$?$1$I!"$"$N8@8l<+?H$O$"$s$^$j7wO@E*$J46$8$,$7$J$$$J$!!#(B

$B?oJ,0JA0$+$i!"7wO@$O7W;;5!2J3X$G$b$5$+$s$KMxMQ$5$l$F$$$^$9!#FC$K!"NN0h(B
$B$NM}O@$dBe?tE*;EMM5-=R$NM}O@$J$I!"9-$$0UL#$G$NI=<(E*0UL#O@$KBP$9$k1~MQ(B
$B$O$&$^$/$$$C$F$k$h$&$K;W$$$^$9!#%H%]%9$bNc$($P7?M}O@$N%b%G%k$NOC$K;H$o(B
$B$l$?$j$7$F$$$^$9!#!J;DG0$G$7$?(B :-$B!K$&!<$s!"BT$F$h!"7?M}O@$N%b%G%k$N9=(B
$B@.$,7W;;5!2J3X$J$N$+?t3X!JD>4Q<g5A?t3X!)!K$J$N$+$H$$$o$l$k$H$A$g$C$H$o(B
$B$+$i$J$/$J$C$F$7$^$$$^$9$,!"$H$K$+$/!V7W;;5!2J3X$H$J$s$A$c$i!W$H$+$$$&(B
$BN`$NBj$N%_!<%F%#%s%0$G$=$s$JOC$,=P$F$/$k$o$1$G$9!#(B

$B$G$b7W;;5!$K$h$/=P$F$/$k$N$O%H%]%9$h$j$b$C$H4K$$>r7o$N$b$N$G$9!#!J$@$+(B
$B$i!"$=$3$G$$$m$s$J$3$H$r$d$m$&$H$9$k$H$b$C$HFq$7$$$H$$$&$3$H$K$J$k!)!K(B
Subobject classifier $B$,$A$c$s$HB8:_$9$k$3$H$O7W;;5!2J3X$G<+A3$K=P$F$/(B
$B$k7w$G$O>/$J$$$_$?$$$G$9!#2?8N$+$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