🚀 go-pugleaf

$@9uLZ!wElKLBg3X$G$9!#(J

In article <SHINGO.92Dec16184647@ipc02.rtri.or.jp>
shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 |$@:G6a!"$3$NOCBj$K$O!"FI<T$,$$$J(J$@$$$N$G$O$J$$$+$H;W$$!"?4G[$7$F$*$j$^$7$?!#(J

$@$"!"$9$$$^$;$s!#$;$C$+$/!"%U%)%m!<$7$F$/$@$5$C$?$N$K!"H?1~(J
$@$,CY$l$F$7$^$$$^$7$?!#(J

 |$@3N$+$K!"LZ2<$5$s$4;XE&$N$H$*$j!"7wO@$N?t3X$N4pAC$X$N1~MQ$O!"(JLawvere$@$H$+(J
 |$@$,;O$a$?$N$,!":G=i$N$h$&$G$9!#(J

$@$h$/CN$i$J$$$N$G$9$,!"$=$NMM$G$9$M!#(J

 |$@%H%]%9$G(JGrothendieck$@$NL>A0$O$"(J$@$^$jJ9$+$J$+$C$?$G$9$M!#(J

$@$I$&$b!"%H%]%9$NL>IU$1?F$O!"(JGrothendieck $@$NMM$G$9(J:

==================================================================
[*] $@!X?t3X<T$N8IFH$JKA81!Y(J($@DTM:0lLu(J, $@8=Be?t3X<R(J), A.Grothendieck,
"RECOLTES ET SEMAILLES" $@$N;O$a$N0lItJ,$NF|K\8lLu(J
==================================================================
p.64 $@$NCm(J(1): $@!V%H%]%9!W$H$$$&L>$O!#%H%]%m%8!<E*$JD>4Q$,E,MQ$5$l$k(J
$@!V$^$?$H$J(J$@$$BP>]!W$G$"$k$3$H$r<(:6$9$k$?$a$K(J($@!V%H%]%m%8!<!W$^$?$O(J
$@!V%H%]%m%8!<E*!W$H$$$&L>$H4XO"$5$;$J$,$i(J)$@A*$s(J$@$@$b$N$G$9!#$3$NL>$,(J
$@8F$S$*$3$9?4E*%$%a!<%8$N1"1F$+$i!"$3$N35G0$N$b$D!V0LAjE*!WFC<l@-$r(J
$@$h$j6/D4$7$?$@(J$@$1$G!"(J($@0LAj(J)$@!V6u4V!W$H$$$&8l$HB?$+$l>/$J$+$lF1Ey$N$b(J
$@$N$G$"$k$H9M$($kI,MW$,$"$k$G$7$g$&!#(J.....
==================================================================

$@$3$NK\$OFI$`$H$-$K$=$N$9$Y$F$r?.MQ$7$J$$(J$@$h$&$KCm0U$,I,MW$G$9$,!"3N(J
$@$+$KHs>o$KLLGr$$K\$G$9!#;d$,;}$C$F$$$k$N$OBh(J3$@HG$G$9$+$i!"0U30$J$3(J
$@$H$K!"$+(J$@$J$jGd$l$?$h$&$G$9$M!#$3$l$rFI$s$G$_$k$H!"(JGrothendieck $@$O(J
$@%H%]%9$H$$$&(J($@<+J,$,H/8+$7$?(J)$@?7$7$$6u4V35G0$K(J$@BgJQ?<$$;W$$F~$l$r;}$C(J
$@$F$$$k$3$H$,$o$+$j$^$9!#(J

Lawvere $@$N(J elementary topos $@$NDj5A$7$+CN$i$J$$?M$N$?(J$@$a$K!"$I$&$7$F(J
$@%H%]%9$,0LAj6u4V$N0lHL2=$K$J$k$+$K$D$$$F@bL@$7$^$7$g$&!#(J

$@0LAj6u4V(J X $@$rM?$($k$H$=$N>e$N(J($@=89g$N(J)$@AXA4BN$N7w(J Top(X) $@$,Dj$^$j$^(J
$@$9!#$7$+$b!"(JTop(X) $@$N7w$H$7$F$N9=B$$+$i!"$b$H$N(J X $@$N0LAj4v2?E*$J(J$@>p(J
$@Js$r0z$-=P$9$3$H$,$G$-$^$9!#FC$K!"(JX $@$,(J sobre ($@Nc$($P!"(JHausdorff
space) $@$J$i$P!"(JTop(X) $@$+$i(J X $@$,0l0U(J$@$K7h$^$C$F$7$^$$$^$9!#(J($@>ZL@$O(J 
SGA4 $@$K$"$j$^$9!#Fq$7$$$3$H$G$O$"$j$^$;$s!#?t3X2J$G$N0LAj6u4V$N1i(J
$@=,$K(J$@=P$7$?$iLLGr$$LdBj$+$b$7$l$^$;$s$M!#(J)

$@;29M(J: $@%$%a!<%8$H$7$F$O!"(JX $@$N>e$NAX$H$O!"(JX $@$N>e$K@Q$_=E$J$C$?CO(J$@AX$N(J
$@$h$&$J$b$N$G$9!#$7$?$,$C$F!"(JTop(X) $@$O(J X $@$N>e$N2DG=$J(J"$@COAX(J"$@A4BN$rI=(J
$@$o$9$3$H$K$J$j$^$9!#(J

$@$3$N$3$H(J$@$KCmL\$9$l$P!"(JTop(X) $@$,Dj5A$5$l$k$h$&$J(J($@0LAj6u4V$H$O8B$i$J(J
$@$$(J)"$@6u4V(J" X$@!"$b$7$/$O!"$5$i$KCj>]2=$7$F(J Top(X) $@$HF1MM$J@-<A$r;}$D(J
$@7w(J($@$3$l$r%H%]%9$H8F$S$^$7$g$&!*(J)$@$rM?$($l$P!"$=$N(J"$@%H%]%m%8!<(J"$@$r9M;!(J
$@$G$-$^$9!#(J

$@$3$NHs>o$KAGKQ$JH/A[$,!"(JGrothendieck $@$N%"%$%G%"$NMM$G$9!#(J

$@$H$3$m$G!"?tM}O@M}3X4X78$K$*6/$$J}$K<ALd(J$@$G$9!#>e$N0UL#$G$N(J"$@6u4V(J" X
$@$r2?$+M?$($?$H$-!"(JX $@$N(J"$@%H%]%m%8!<(J"$@$H(J X $@$N(J"$@O@M}(J"$@$N4X78$K$D$$$F!"2?(J
$@$+LLGr$$(J$@OC$O$"$k$N$G$7$g$&$+!)(J
--
$@9uLZ8<!wElKLBg3XM}3XIt?t3X65<<(J