Re: Topos (Re: Q in int. math.)

Article View: fj.sci.math

Article #240

#240

From: Naoki HAMADA
Date: Tue, 22 Dec 1992 04:33

15 lines
1258 bytes

$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

Technical Details

Message-ID: <NAO.92Dec22134657@mimo.jaist-east.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!nao

References: <1992Dec22.24200.2065@kei.is.s.u-tokyo.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!nao
From: nao@jaist-east.ac.jp (Naoki HAMADA)
Subject: Re: Topos (Re: Q in int. math.)
In-Reply-To: dai@is.s.u-tokyo.ac.jp's message of Tue, 22 Dec 1992 02:41:54 GMT
Message-ID: <NAO.92Dec22134657@mimo.jaist-east.ac.jp>
Lines: 15
Sender: news@jaist-east.ac.jp (News System Administrator)
Reply-To: nao@jaist-east.ac.jp
Organization: ME
References: <1992Dec22.24200.2065@kei.is.s.u-tokyo.ac.jp>
Date: Tue, 22 Dec 1992 04:33:37 GMT

Reply to Parent Message