HDTenEightyP/NetNews huggingface dataset:
From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Topos (Re: Q in int. math.)
Date: 22 Dec 92 08:55:28 GMT
	<1992Dec15.180201.19986@etl.go.jp>
	<SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp>
	<1992Dec21.131940.17213@etl.go.jp>
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
In-reply-to: yoshiki@etl.go.jp's message of 21 Dec 92 13:19:40 GMT

$@C;;~4V$G$I$C$H%U%)%m!<$,$"$C$F6C$$$F$$$k>.NS(J@$@N6C+Bg3X$G$9!#(J
$@LZ2<$5$s!"$*(J$@JV;v$"$j$,$H$&$4$6$$$^$9!#(J

In article <1992Dec21.131940.17213@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:

 |Maclane $@$N(J Categories for the Working Mathematician $@!J(JCWM $@$C$F$$$&$s$@(J
 |$@$=$&$G(J$@$9$M$C!K$,!"Fq$7$+$C$?$1$I7wO@$N652J=q$H$7$F$O;d$K$O7k6I0lHV$o$+(J
 |$@$j$d$9$+$C$?!J$J$s$+<+8JL7=b$7$?(J statement $@$G$9$,!K$,!"$"$NK\$K$O%H%](J
 |$@%9$N$3$H$,=q$$$F$J$$!#$G!"F1$8Cx<T$N%H%]%9$NK\$,=P$?$N$G4n$s$GFI(J$@$_;O$a(J
 |$@$?$N$G$9$,!"(J
 |
 |$@!J#1!K(JCWM $@$K$/$i$Y$F!"5-=R$,CzG+$K$J$C$F$$$k!#(J
 |
 |$@!J#2!K$G$b!"(Jexample $@$O(J$@Be?t4v2?$H=89gO@$+$i$P$C$+$j$J$N$G!"H>J,!JBe?t4v(J
 |$@2?!K$O$A$s$W$s$+$s$W$s!"$"$H$NH>J,!J=89gO@!K$O$A$s(J$@$W$s!J$A$s$W$s$+$s$W(J
 |$@$s!"$H$^$G$O$$$+$J$$$,$d$C$Q$j$o$+$i$s!K$G!"(Jexample $@$OFI$_Ht$P$5$6$k$r(J
 |$@F@$J$$(J$@!#$=$3$s$H$3$O(J CWM $@$H0l=o!#$G$b!"K\BN$N$H$3$m$O!"$f$C$/$jFI$a$P!"(J
 |$@$I$s$I$s%$%^%8%M!<%7%g%s$,9-$,$k46(J$@$8$G!"9%$-$G$9!#$^!"5$D9$KFI$s$G$^$9!#(J
 |classifying topos $@$J$s$+$N$H$3$m$^$G9T$/$N$O$$$D$N$3$H$d$i!#(J

$@$J$k$[$I!"3d$H$$$$$+$bCN$l$^$;$s$M!#FI$s$G$_$h$&$+$J!#(J

 |$@$b$C$H8e$NJ}$^$GFI$s$@$i$^$?46A[$bJQ$o$k$+(J$@$b$7$l$^$;$s$,!"$=$l$O$$$D$N(J
 |$@$3$H$+$o$+$i$s$N$G!"$H$j$"$($::#$N46A[$r!#(J

$@$*Aa$$$4JV;v$I$&$b$"$j$,$H(J$@$&$4$6$$$^$7$?!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(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)
From: yoshiki@etl.go.jp (KINOSHITA Yoshiki)
Subject: Re: Topos (Re: Q in int. math.)
Organization: Electrotechnical Laboratory, Tsukuba-shi, Ibaraki
Distribution: fj
Date: Mon, 21 Dec 1992 13:19:40 GMT

In article <SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
>$BLZ2<$5$s$,=P$F$-$F$/$l$F$&$l$7$$>.NS(B@$BN6C+Bg3X$G$9!#(B

$B$3$s$K$A$O!">.NS$5$s!#(B

>$B$b$7NI$+$C$?$i!"$3$NK\$rFI$s$@46A[$rJ9$+$;$F$b$i$($^$;$s$+!#9-9p$r8+$F(B
>$B$A$g$C$H6=L#$r;}$C$F!"Gc$C$F$b$$$$$+$J!"$H;W$C$F$$$k$N$G$9$,!"9-9p$@$1(B
>$B$G!"<BJ*$r8+$F$$$J$$$N$G!#(B

$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$H$$$&K\$G$9!#$^$@$[$s$NFI$_;O$a$G!";d$_$?$$$J%b%s$,FI$_=*$o$k$N$O$$$D(B
$B$N$3$H$d$i$o$+$j$^$;$s!#(B

Maclane $B$N(B Categories for the Working Mathematician $B!J(BCWM $B$C$F$$$&$s$@(B
$B$=$&$G$9$M$C!K$,!"Fq$7$+$C$?$1$I7wO@$N652J=q$H$7$F$O;d$K$O7k6I0lHV$o$+(B
$B$j$d$9$+$C$?!J$J$s$+<+8JL7=b$7$?(B statement $B$G$9$,!K$,!"$"$NK\$K$O%H%](B
$B%9$N$3$H$,=q$$$F$J$$!#$G!"F1$8Cx<T$N%H%]%9$NK\$,=P$?$N$G4n$s$GFI$_;O$a(B
$B$?$N$G$9$,!"(B

$B!J#1!K(BCWM $B$K$/$i$Y$F!"5-=R$,CzG+$K$J$C$F$$$k!#(B

$B!J#2!K$G$b!"(Bexample $B$OBe?t4v2?$H=89gO@$+$i$P$C$+$j$J$N$G!"H>J,!JBe?t4v(B
$B2?!K$O$A$s$W$s$+$s$W$s!"$"$H$NH>J,!J=89gO@!K$O$A$s$W$s!J$A$s$W$s$+$s$W(B
$B$s!"$H$^$G$O$$$+$J$$$,$d$C$Q$j$o$+$i$s!K$G!"(Bexample $B$OFI$_Ht$P$5$6$k$r(B
$BF@$J$$!#$=$3$s$H$3$O(B CWM $B$H0l=o!#$G$b!"K\BN$N$H$3$m$O!"$f$C$/$jFI$a$P!"(B
$B$I$s$I$s%$%^%8%M!<%7%g%s$,9-$,$k46$8$G!"9%$-$G$9!#$^!"5$D9$KFI$s$G$^$9!#(B
classifying topos $B$J$s$+$N$H$3$m$^$G9T$/$N$O$$$D$N$3$H$d$i!#(B

$B$b$C$H8e$NJ}$^$GFI$s$@$i$^$?46A[$bJQ$o$k$+$b$7$l$^$;$s$,!"$=$l$O$$$D$N(B
$B$3$H$+$o$+$i$s$N$G!"$H$j$"$($::#$N46A[$r!#(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
From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Topos (Re: Q in int. math.)
Date: 21 Dec 92 07:55:13 GMT
	<KUROKI.92Nov28142737@tsuru.math.tohoku.ac.jp>
	<SHINGO.92Nov30125829@ipc02.rtri.or.jp>
	<1992Dec15.180201.19986@etl.go.jp>
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
In-reply-to: yoshiki@etl.go.jp's message of 15 Dec 92 18:02:01 GMT

$@LZ2<$5$s$,=P$F$-$F$/$l$F$&$l$7$$>.NS(J@$@N6C+Bg3X$G$9!#(J

In article <1992Dec15.180201.19986@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:

 |$@$=$&$_$?$$$G$9$M!#;d$_$?$$$J7W;;5!20$O(J Cohomology? $@$J$K$=$l!)(J $@$H$+$$$&(J
 |$@46$8$G$9$+$i!"(JGrothendieck $@$NDj5A$O$A$s$W$s$+$s$W$s$N$b$N!J$NH&!"8+(J$@$?(J
 |$@$3$H$b$J$$!K$G$9$,!"(JLawvere $@$,$=$l$r8+$F$9$0!"?t3X$r7wO@E*$K4pACIU$1$k(J
 |$@$N$K;H$($k!"$H5$$,$D$$$F(J$@!"$5$i$K$b$C$H4JC1$JDj5A!"$H$$$&$+=iEyE*$JDj5A(J
 |$@!J$3$l$O7W;;5!20$K$b(J accessible$@!*!K$rM?$($?$N$@$=$&$G(J$@$9!#$F$J@8!9$7$$(J
 |$@5-=R$,:G6a=P$?(J MacLane & Moerdijk $@$NAX$H%H%]%9$N652J=q$K$"$j$^$7$?!#(J

$@$b$7NI$+$C$?(J$@$i!"$3$NK\$rFI$s$@46A[$rJ9$+$;$F$b$i$($^$;$s$+!#9-9p$r8+$F(J
$@$A$g$C$H6=L#$r;}$C$F!"Gc$C$F$b$$$$$+$J!"$H(J$@;W$C$F$$$k$N$G$9$,!"9-9p$@$1(J
$@$G!"<BJ*$r8+$F$$$J$$$N$G!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(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)
Newsgroups: fj.sci.math
From: d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa)
Subject: Re: Topos (Re: Q in int. math.)
Organization: School of Natural Sciences, Nagoya University, Nagoya, Japan.
Distribution: fj
Date: Tue, 22 Dec 1992 14:43:09 GMT

$BL>8E20$NO2@n$G$9!#(B

In article <MIYOSHI.92Dec22215655@gala.slab.sfc.keio.ac.jp> miyoshi@slab.sfc.keio.ac.jp (Hiroyuki Miyoshi) writes:
>
>$B7DXfBg3X$N;09%$G$9!%(B
>
>$B7wO@E*?dO@$r9T$J$&;~$K(Bsmallness$B$O=EMW$G$9$,!$(Bfibered/indexed category
>$B$d(Btopos$B$G5DO@$9$l$P8+$+$1>e$"$($FFCDj$N=89gO@$K4T85$7$J$/$F$b$=$l$J$j(B
>$B$N$3$H$,$G$-$^$9!%!J$H$$$C$F$bFC$K?t3X$NJ}$G$O$3$N$"$?$j$"$^$j$h$/8&5f(B
>$B$5$l$F$$$k$H$O$$$($J$$$h$&$G$9$,!K!%(B
>
>$B$`$7$m!$Be?t4v2?$G$I$N$h$&$J=89g$K;}$A9~$`I,MW$,$"$k$N$+(B
>$B!JNc$($PB>$NJ,Ln$N7k2L$rMxMQ$7$?$j$9$k;~$K!K$K$h$k$N$G$7$g$&!%(B
>$BBe?t4v2?$K>\$7$$J}!$$I$&$G$7$g$&$+!)(B
>$B;d$OBe?t4v2?$b=89gO@$b$h$/CN$i$J$$$N$G!$(B
>$B7wO@!J$HO@M}!K$G5DO@$G$-$?$[$&$,5$;}$A$$$$$G$9!%(B

$B>\$7$$$+$I$&$+$O$H$b$+$/!"0l1~Be?t4v2?$r@lLg$K$9$k?M4V$H$7$F!"(B
$B$I$&$b$*Ez$($7$J$$$H$$$1$J$$$h$&$J$N$G!#(B
$B$H$$$C$F$bBe?t4v2?$NJ}$G$O!"$=$&?<$$9M$($,$"$C$F8@$C$F$$$k$o$1$G$O$J$/!"(B
$BA0AX(B(presheaf)$B$r(Bcontravariant functor$B$H$7$FDj5A$7$F$7$^$C$?$N$G!"(B
$BNc$($PA0AX4V$N(Bmorphism$B$,=89g$K$J$k$h$&$K!"$=$7$FI,MW$JA`:n!J6K8B$r<h$C$?$j(B
$B$J$I!K$O<+M3$K$G$-$k$h$&$K!"$3$N$h$&$J>l$r@_Dj$7$?$@$1$G$9!#(B

In article <SATOSHI.92Dec22174011@whale.math.ryukoku.ac.jp>
satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
>
>$B$=$l$K$7$F$b!"Be?t4v2?$N$h$&$JIaDL$N?t3X$N$?$a$K!"K\Ev$K$=$s$J$KBg$-$J(B 
>universe $B$,I,MW$J$N$+$J$"!#$b$C$H>.$5$$$N$G==J,$8$c$J$$$+!"$H$$$&5$$,(B
>$B$9$k$1$l$I!#(B
>

$B=89gO@$+$iHt$S=P$5$J$$HO0O$G$G$-$k$@$1<+M3$K$$$m$$$m$NA`:n$,(B
$B$G$-$k$h$&!"$"$i$+$8$a==J,$KBg$-$J$b$N$r$H$C$F$*$$$?$H$$$&$3$H$G$9!#(B
$B$=$l$r$I$3$^$G>.$5$/$G$-$k$+$H$$$&$3$H$O!"4pACO@$NJ}$NLdBj$G!"(B
$B2f!9Be?t4v2?$r$d$k?M$NLdBj0U<1$K$O!JIaDL!K$"$j$^$;$s!#(B
$B!VBg$O>.$r7s$M$k!W$G$9!#(B
$B$^$"Be?t4v2?3X$K=P$F$/$k(BGrothendieck$B0LAj$G$O!"(Bcovering family$B$r;H$C$F(B
$BDj5A$G$-$k$b$N$P$+$j$J$N$G!"4JC1$J(Bfibred category$B$N5DO@$G==J,$G$9!#(B
$B$7$+$7(BGrothendieck$B$K$OBe?t4v2?3X$@$1$G$J$/!"A4?t3X$rJq3g$9$k?t3X$r(B
$BE83+$7$h$&$H$$$&Bg$-$JL4$,$"$C$?$N$G$O$J$$$+$H;W$$$^$9!#(B
-- 
   *   *   *     *                $@O2@n!!9,I'(J
    * *    * *   *                $@L>8E20Bg3XM}3XIt?t3X65<<(J
     *     *   * *                d43013a@nucc.cc.nagoya-u.ac.jp
     *     *     *                namikawa@math.nagoya-u.ac.jp
Newsgroups: fj.sci.math
From: nao@jaist-east.ac.jp (Naoki HAMADA)
Subject: Re: Topos (Re: Q in int. math.)
Reply-To: nao@jaist-east.ac.jp
Organization: ME
Date: Tue, 22 Dec 1992 04:33:37 GMT

$BIMED!wKLN&@hC<Bg(B$B!&@P868&(B $B$G$9!#(B

In article <1992Dec22.24200.2065@kei.is.s.u-tokyo.ac.jp> 
$BNkLZ$5$s(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$+(B$B$J(B)
>triples.math.mcgill.ca (132.206.150.30):(~ftp)/pub/math/barr/
>$B$G$9$%!#(B

  $B$5$C$=$/=P$+(B$B$1$F$_$^$7$?!#(B/pub/math/barr $B$G$O$J$/$F(B /pub/barr $B$N$h$&(B
$B$G$9!#(B"Toposes, Triples and Theories" $B$ODLNc!"(B"ttt" $B$HN,$5$l$k$N$G!"@5(B
$B8mI=$O(B tttcorr.tex (tttcorr.dvi) $B$H$$$&(B$B%U%!%$%kL>$K$J$C$F$$$^$9!#(B

$BIMED(B $BD><y(B
From: miyoshi@slab.sfc.keio.ac.jp (Hiroyuki Miyoshi)
Subject: Re: Topos (Re: Q in int. math.)
Organization: Saito Lab., Keio Univ. Fujisawa, Japan
	<KUROKI.92Dec19063911@tsuru.math.tohoku.ac.jp>
	<162@john.hamaint.snet.or.jp>
	<MIYOSHI.92Dec22014028@gala.slab.sfc.keio.ac.jp>
	<SATOSHI.92Dec22174011@whale.math.ryukoku.ac.jp>
Distribution: fj
Date: Tue, 22 Dec 1992 12:56:55 GMT


$B7DXfBg3X$N;09%$G$9!%(J

In article <SATOSHI.92Dec22174011@whale.math.ryukoku.ac.jp>
satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:

 > |$B$"$l$O(JZFC$B$r1[$($F(Jinaccessible cardinal$B$N(Jproper class$B$N(J$BB8:_$r2>Dj$7$F$$(J
 >
 >inaccessible cardinal$B$N(Jproper class $B$H$$$&8@$$J}$OJQ$J$N$G$O$J$$$G$9$+(J?
 >inaccessible cardinal $B$O(J set $B$N$O$:$G$9$1$I!#$b$N$9$4$/Bg$-$J(J *set* $B$,(J
 >$BB8:_$9$k!"$H$$$&;v$,=EMW$J$o$1$G$9(J$B$+$i!#(J

$B$9$_$^$;$s!%(Jinaccessible cardinals$B$N$J$9(Jproper class$B!$$H=q$/$Y$-$G$7$?!%(J
                                 ^
 >$B$=$l$K$7$F$b!"Be?t4v2?$N$h$&$JIaDL$N?t3X$N$?$a$K!"K\Ev$K$=$s$J$KBg$-$J(J 
 >universe $B$,(J$BI,MW$J$N$+$J$"!#$b$C$H>.$5$$$N$G==J,$8$c$J$$$+!"$H$$$&5$$,(J
 >$B$9$k$1$l$I!#(J

$BMW$O7wO@$G$N(Jsmallness$B$K2?$r(J$BBP1~$5$;$k$+$@$H;W$$$^$9!%Nc$($P!$A0$K5s$2(J
$B$?J88%$K$"$j$^$9$,!$(JFeferman$B$N2r<a$K$h$j!$?t3X$N8@8l$G$N!V(J$B=89g!W$KN_@Q(J
$B3,AX$N:G=i$N(J\kappa$B!J(Jinaccessible$B$H$O2>Dj$7$J$$!KCJ3,$G=P$F$/$k=89g$@$1(J
$B$rBP1~$5$;$k$3$H$G(J$B!$(JZFC$B$NCf$G$b$3$&$$$C$?5DO@$,$G$-$^$9!%(J

$B7wO@E*?dO@$r9T$J$&;~$K(Jsmallness$B$O=EMW$G$9$,!$(Jfibered/indexed category
$B$d(Jtopos$B$G5DO@$9$l$P8+$+$1>e$"$($FFCDj$N=89gO@$K4T85$7$J$/$F$b$=$l$J$j(J
$B$N$3$H$,$G$-$^$9!%!J$H(J$B$$$C$F$bFC$K?t3X$NJ}$G$O$3$N$"$?$j$"$^$j$h$/8&5f(J
$B$5$l$F$$$k$H$O$$$($J$$$h$&$G$9$,!K!%(J

$B$`$7$m!$Be?t4v(J$B2?$G$I$N$h$&$J=89g$K;}$A9~$`I,MW$,$"$k$N$+(J
$B!JNc$($PB>$NJ,Ln$N7k2L$rMxMQ$7$?$j$9$k;~$K!K$K$h$k$N$G$7$g(J$B$&!%(J
$BBe?t4v2?$K>\$7$$J}!$$I$&$G$7$g$&$+!)(J
$B;d$OBe?t4v2?$b=89gO@$b$h$/CN$i$J$$$N$G!$(J
$B7wO@!J$HO@M}!K$G5D(J$BO@$G$-$?$[$&$,5$;}$A$$$$$G$9!%(J

$B;09%GnG7(J
miyoshi@slab.sfc.keio.ac.jp
Newsgroups: fj.sci.math
From: dai@is.s.u-tokyo.ac.jp (SUZUKI Daisuke)
Subject: Re: Topos (Re: Q in int. math.)
    <SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp> 
    <1992Dec21.131940.17213@etl.go.jp> <1992Dec21.235308.9137@etl.go.jp>
Organization: Department of Information Science, Faculty of Science, the 
    University of Tokyo, Japan.
Distribution: fj
Date: Tue, 22 Dec 1992 02:41:54 GMT
X-Bytes: 604

In article <1992Dec21.235308.9137@etl.go.jp> yoshiki@etl.go.jp
(KINOSHITA Yoshiki) writes:
 > @book{Barr-Wells85,
 > 	   author={{M.\ Barr and C.\ Wells}},
 > 	   title={Toposes, Triples and Theories},
($@N,(J)
 > update $@$b$7$F$k$_$?$$!#%J%&$$?t3X<T$@!#(JFtp $@%5%$%HL>$^$GCN$j$?$$?M$,$"(J
 > $@$l$P;d$N%U%!%$%k$N(J$@;3$+$i7!$j=P$7$^$9!#(J(Lazy search? on demand $@$H$$$&$N(J
 > $@$+$J(J)

triples.math.mcgill.ca (132.206.150.30):(~ftp)/pub/math/barr/

$@$G$9$%!#(J

 $@El5~Bg3XBg3X1!M}3X7O8&5f2J>pJs2J3X@l96GkC+8&5f<<=$;N0lG/(J
 $@NkLZ(J  $@Bg(J$@2p(J (dai@is.s.u-tokyo.ac.jp)
From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Topos (Re: Q in int. math.)
Date: 22 Dec 92 09:11:25 GMT
	<SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp>
	<1992Dec21.131940.17213@etl.go.jp> <1992Dec21.235308.9137@etl.go.jp>
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
In-reply-to: yoshiki@etl.go.jp's message of 21 Dec 92 23:53:08 GMT

$@>.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)
Newsgroups: fj.sci.math
From: yoshiki@etl.go.jp (KINOSHITA Yoshiki)
Subject: Re: Topos (Re: Q in int. math.)
Organization: Electrotechnical Laboratory, Tsukuba-shi, Ibaraki
Distribution: fj
Date: Tue, 22 Dec 1992 15:20:49 GMT

In article <SATOSHI.92Dec22181125@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
>In article <1992Dec21.235308.9137@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:
>
> |$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,
...
>$B$R$H$3$m!"7W;;5!4X78$N?M$,(B Lambek $B$H(B Scott $B$NK\$r$h$/FI$s$G$$$?$_$?$$(B
>$B$G$9$,(B($B;d$b;}$C$F$$$^$9(B)$B!"(BBarr-Wells $B$N$[$&$,I8=`E*$K$J$C$F$$$k$s$G$9(B
>$B$+!#(B

$B$I$3$^$GI8=`E*$J$N$+$O!V!)!W$G$9!#$=$l$+$i(B Lambek&Scott $B$H(B Barr&Wells 
$B$G$OFbMF$,?oJ,0c$$$^$9!#(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
From: yoshiki@etl.go.jp (KINOSHITA Yoshiki)
Subject: Re: Topos (Re: Q in int. math.)
Organization: Electrotechnical Laboratory, Tsukuba-shi, Ibaraki
Distribution: fj
Date: Mon, 21 Dec 1992 23:53:08 GMT

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
Newsgroups: fj.sci.astro
From: hh@astec.co.jp (Hasegawa Hitoshi)
Subject: Re: Amateur Astronomy
Organization: ASTEC Inc., Tokyo, JAPAN
	<HH.92Dec21125511@tamtam.astec.co.jp>
	<60L512.92Dec22133506@tukuba.cfi.waseda.ac.jp>
Distribution: fj
Date: Tue, 22 Dec 1992 11:21:56 GMT

$BD9C+@n!w%"%9%F%C%/$G$9(B

>In article <60L512.92Dec22133506@tukuba.cfi.waseda.ac.jp> 60l512@cfi.waseda.ac.jp (Garfield the cat) writes:
>
>   |>   $B!u(B  $B%"%^%A%e%"$,E7J83X$K9W8%$G$-$k$3$H$C$F$J$s$@$m$&!)%"%^$,%W%m$N??;w(B
>   |>   $B!u$7$?$C$F$+$J$$$C$3$J$$$7!#$+$H$$$C$F$*M7$S$G=*$i$;$?$/$J$$!#(B
>   |
>   |$B:G=i$O%W%m$N??;w$G$b$$$$$N$G$O(B? $B$+$J$&!"$+$J$o$J$$$G$O$J$/$F!"%W%m$N$d$C(B
>   |$B$F$$$J$$$h$&$J$3$H$r$d$l$P$h$$$N$G$O(B? 
>
>   $B%W%m$N$d$C$F$$$J$$$3$H$,$?$/$5$s$"$k$N$OJ,$+$j$^$9!#(B
>   $B$7$+$7!"$=$l$r<B9T$K0\$9$N$O!"J,Ln$K$b$h$j$1$j$G$9$,(B
>   $B$d$O$jAjEvNO$,$"$k?M$G$7$g$&!#(B

$B$G$b!"M7$S$G=*$i$;$?$/$J$$$H$$$&$J$i$,$s$P$k$7$+$J$$$N$G$O!#NO$N$J$$$3$H(B
$B$rC2$$$F$$$F$O2?$b;O$^$i$J$$!#$H$$$C$F!";d$b0N$=$&$J$3$H$r8@$($kN)>l$G$O(B
$B$J$$$N$G$9$,!#(B

>   |>   $B!u(B  $B;d$,B:7I$7$F$$$?@hGZ$,:rG/B46H$5$l$?$H$-!";d$K;D$5$l$?$3$H$P!D(B
>   |>   $B!u(B
>   |>   $B!u(B            $B!X%"%^%A%e%"$,$G$-$k$3$H$r$d$C$F$$$3$&!Y(B
>   |
>   |$B$I$3$G%"%^%A%e%"$,$G$-$k$3$H$K@~$r0z$/$N$G$7$g$&$+(B?
>
>   $B@hGZ$N$*8@MU$O$"$j$,$?$/$&$1$?$^$o$k$H$7$F!"(B
>   $B3Z$7$_$J$,$i$d$j$^$7$g$&!#(B

$B$G$-$k$3$H$+$i%9%?!<%H$7$F!">/$7$E$D%"%^%A%e%"$N$G$-$k$3$H$N8B3&$r9-$2$F(B
$B$$$1$P$h$$$H;W$$$^$9!#(Bfj.sci.astro$B$b>/$7$O$=$NLr$KN)$F$P$H;W$$$^$9(B($B$b$A(B
$B$m$s!"%W%m$N?M$K$bLrN)$C$F$[$7$$(B...)$B!#$=$7$F!"$=$l$,3Z$7$$$3$H$G$b$"$j$^(B
$B$9!#<c$$?M$OL58B$N2DG=@-$,$"$C$F$$$$$J!#$*$C$H$C$H!";d$b$^$@$=$s$J$3$H$r(B
$B8@$&Dx$NG/$8$c$J$$$G$9$M!#;d$b$^$@$,$s$P$i$J$/$F$O!#$^$@3X@8$K$OIi$1$i$l(B
$B$J$$!#(B

>   $B:#G/$b$*@57n5Y$a$J$$$3$H$,Aa$/$b7hDj!"$"$"(B

$B$=$l$G$O%K%e!<%9$G$*BT$A$7$F$$$^$9(B :-)

-- 
|  ___    Hitoshi HASEGAWA            Amateur Radio: JL1WOR  |
| =o===   ASTEC, Inc.                 E-mail: hh@astec.co.jp |
| wwwww   BR Ichigaya 6 Minamicho     TEL:  +81-3-5261-5974  |
|  ~~~    Shinjuku Tokyo 162, JAPAN   FAX:  +81-3-5261-5980  |
Newsgroups: fj.sci.astro
From: hh@astec.co.jp (Hasegawa Hitoshi)
Subject: Re: Symposium by The Japanese Society for Planetary Sciences 
Organization: ASTEC Inc., Tokyo, JAPAN
Distribution: fj
Date: Fri, 25 Dec 1992 09:03:01 GMT

$BD9C+@n!w%"%9%F%C%/$G$9!#(B

>In article <F43664G.92Dec25135451@nucc.cc.nagoya-u.ac.jp> f43664g@nucc.cc.nagoya-u.ac.jp (Yasuhiko Takagi) writes:
>
>   $B9bLZ!wElK.3X1`C;Bg$G$9!#(B

$B%]%9%H$"$j$,$H$&$4$6$$$^$9!#(B

>     $BF|K\OG@12J3X2q<g:E%7%s%]%8%&%`$N$*CN$i$;$G$9!#(B
>
>     $B2<5-$N%7%s%]%8%&%`$rMh$k#17n#1#8!$#1#9F|$NN>F|!"El9)Bg$G3+:ECW$7$^$9!#(B
>   $BB?$/$NJ}$N;22C$r$*BT$A$7$F$*$j$^$9!#(B

$B%"%^%A%e%"$K2?$,$G$-$k$N$+$H$+!"$I$&$N$3$&$N$H$$$&A0$K!"$^$:$3$&$$$&LLGr(B
$B$=$&$J%7%s%]%8%&%`$K$I$s$I$s=P$F9T$C$F!"%W%m$,$I$s$J8&5f$r$7$F$$$k$+$r<+(B
$BJ,$NL\$G8+$k$3$H$,Bg;v$J$N$G$O$J$$$G$7$g$&$+!#(B

$B;d$bBg$$$K6=L#$,$"$k$N$G!";E;v$r5Y$a$l$P9T$C$F$_$?$$$H;W$$$^$9!#(B

>   $B$J$*!"#1#8F|$N9V1i=*N;8e2<5-$NDL$j:)?F2q$r9T$$$^$9!#(B
>   $B!!!!!!>l!!!!=j!'!!El5~9)6HBg3XBh#2?)F2(B
>   $B!!!!!!;~!!!!4V!'!!#1#8!'#3#0!A#2#0!'#3#0(B
>   $B!!!!!!:)?F2qHq!'!!#3!$#0#0#01_(B
>   $B:)?F2q$N=P7g$OEvF|<uIU$K$F$*?=$7=P2<$5$$!#(B

$B$=$7$F!":)?F2q$G$$$m$$$m$J@h@8$HCN9g$$$K$J$k$H$+!#$G$b!"?.B@!wL@<#Bg3X$5(B
$B$s$O!"(B19$B:M$@$+$i$*<r$r0{$a$J$$$s$G$9$M!#(B
-- 
|  ___    Hitoshi HASEGAWA            Amateur Radio: JL1WOR  |
| =o===   ASTEC, Inc.                 E-mail: hh@astec.co.jp |
| wwwww   BR Ichigaya 6 Minamicho     TEL:  +81-3-5261-5974  |
|  ~~~    Shinjuku Tokyo 162, JAPAN   FAX:  +81-3-5261-5980  |
Newsgroups: fj.sci.astro
From: hifumi@jsk.t.u-tokyo.AC.JP (Oonishi Yutaka)
Newsgroups: fj.sci.astro
Subject: Re: Meteorite fall.
Date: 28 Dec 92 05:13:41 GMT
Distribution: fj
Organization: Joho System Kogaku(Inoue and Inaba) Lab., Fac. of Eng., Univ. of
	Tokyo, Japan


  $@$"$s$^$jE7J8$K$O>\$7$/$J$$F|J8?lL4!wElBg$G$9!#(J

In article <3798@tansei1.tansei.cc.u-tokyo.ac.jp> mhiroshi@tansei.cc.u-tokyo.ac.jp (H. Murakami) writes:
 >  >   $@M>CL$J$,$i:#$^$G$Kp(@P$KEv$?$C$F;`K4$7$??M$O$$$J$$$=$&$G$9!#(J

  $@@N$N%$%s%G%#%"%s$N8l$jEA(J$@$($K$h$k$H!"6u$+$iMn$A$F$-$?@P$G(J
$@;`$s$@?M$,$$$k$=$&$G$9!#!J$H>.3X!{G/@8$GFI$s$@5-21%"%j!K(J

 >$@@;=q$N(J $@%4(J$@%b%i$H%4%a%9$ND.$NOC$J$s$+(J,$@$$$+$K$bp(@P$r;W$o$;$kOC$N$h$&$G$9$,(J....

  $@%=%I%`$H%4%b%i$G$7$g$&!#%4%b%i(J$@$H%4%a%9$B$c%&%k%H%i2x=C!D!D(J

 >$@62N5$O(J,$@p(@P$GLG$s$@$s$@$H$+(J(???),

  $@Bg$-$J%$%s@P$,Mn$C$3$A$F!"BgNL$N(J$@EZ:=$,4,$->e$2$i$l$F6uCf$KHt$S;6$j!"(J
$@6u$,0E$/$J$C$F4($/$J$C$F!"62N5$,?)$Y$kAp$,$J$/$J$C$?!"$H$$$&$b$N(J$@$G$9$M!#(J
$@7h$7$F%$%s@P$,$$$C$Q$$Mn$A$F$-$F62N5$NF,$KEv$?$C$F;`$s$@!"$H$$$&$N$G$O(J
$@$"$j$^$;$s!#!J$b$7$=$&(J$@$J$i%Q%-%;%U%!%m%5%&%k%9$O@8B8$7$F$k!)!K(J

 >$@?MN`$rp(@P$K$h$k@dLG$+$i5_$&$?$a$KM=;;$r(J...  $@$H$$$&OC$b$"(J$@$k$h$&$G$9$M(J.

  $@%b%9%i$G#1#9#9#9G/$NBg%$%s@P$rGK2u$9$k!)!J$*$C$H!"$3$l$O:#EY$N(J
$@1G2h$@!K(J

  $@?MN`$N@dLG(J$@$,%$%s@P$G5/$3$k!"$H$9$k$H!"62N5$_$?$$$KCO5e$,4($/$J$k(J
$@$3$H$r62$l$F$$$k$N$G$7$g$&$+!)$G$b$=$l$C$FM=;;(J$@$,$"$C$F$b$I$&$d$l$P(J
$@2r7h$9$k$s$G$7$g$&$+$M!)6u$KA]=|5!Ht$P$9$o$1$K$O$$$-$^$9$^$$(J:-)

$@!t$"!"$=$N<jCJ$r(J$@C5$9HqMQ$J$N$+(J

  $@$G$O$h$$Mn$7$r(J:-)

------
$@!~(J  $@It20$L$A$KM<$Y$N8w$*$h$SMh$L2V$S$i$N$4$H8c;R$OL2$j$F(J            $@!~(J
$@!~(J                                              $@8f2N(J  $@><OB;M==;MG/(J  $@!~(J

  $@El5~Bg3X>pJs9)(J$@3X@l96(J  $@F|J8?lL4!JBg@>M5!K(J  hifumi@jsk.t.u-tokyo.ac.jp
Newsgroups: fj.sci.astro