🚀 go-pugleaf

In article <KUROKI.92Dec19063911@tsuru.math.tohoku.ac.jp>, kuroki@math.tohoku.ac.jp (Gen Kuroki) writes:

>  |$@%H%]%9$G(JGrothendieck$@$NL>A0$O$"$^$jJ9$+$J$+$C$?$G$9$M!#(J
> 
> $@$I$&$b!"%H%]%9$NL>IU$1?F$O!"(JGrothendieck $@$NMM$G$9(J:

$@Be?t4v2?$r$:$C$H$d$C$F$$$?;d$K$H$C$F!"(Jtopos$@$NM3Mh$rCN$i$J$$$G(J
$@;H$C$F$$$k?M4V$,$3$s$J$KA}$($?$J$s$F!"$J$s$@$+$H$C$F$bJQ$J5$J,$G$9$M!#(J
 
> Lawvere $@$N(J elementary topos $@$NDj5A$7$+CN$i$J$$?M$N$?$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>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$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=P$7$?$iLLGr$$LdBj$+$b$7$l$^$;$s$M!#(J)
> 
$@3N$+$K$=$&$J$s$@$1$l$I!">e$N@bL@$@$1$GJ,$+$k?M$,$I$N$/$i$$$$$k$N$+$J$"!#(J
EGA$@$+$iFI$_$?$/$O$J$$$H$$$&$R$H$K4+$a$k$H$7$?$i$d$O$j!"(J
Categories for working Mathematians
$@!J;d$OFI$s$G$$$^$;$s!#$"$7$+$i$:!K(J
$@$H$+$+$i$O$8$a$F!"I=8=H!<j$J$I$K$J$l$F$+$i!"#S#G#A#4$rFI$`$N$,@5E}E*(J
$@$J$N$G$7$g$&$M!#(J(EGA$@$K$O(Jtopos$@$=$N$b$N$NOC$O=P$F$-$^$;$s!K(J

$@$H$3$m$G!"?tM}O@M}3X4X78$K$*6/$$J}$K<ALd$J$N$G$9$1$l$I!"!"(J
topos$@$NDj5A$N:]$K=P$F$/$k(JUnivers$@$N8xM}$O!"8xM}O@E*$K$O$I$&$$$&(J
$@0LCV$E$1$K$"$k$N$G$7$g$&$+!)(J
$@$:$C$H5$$K$J$C$F$$$?$N$G$9$1$l$I!"!VL5L7=b@-!W$H$+$OK\Ev$KJ]>Z$5$l$F(J
$@$$$k$N$G$7$g$&$+!)(J


-- 
$B7K1Q<#!w(J($B3t(J)$B2#IM%$%s%F%j%8%'%s%9(J