🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #237

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

#237
From: SUZUKI Daisuke
Date: Tue, 22 Dec 1992 02:41
16 lines
1439 bytes
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)
Technical Details
Message-ID: <1992Dec22.24200.2065@kei.is.s.u-tokyo.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!sgiblab!nec-gw!nec-tyo!wnoc-tyo-news!sh.wide!wnoc-kyo!kuis!s.u-tokyo!is.s.u-tokyo!dai
References: <1992Dec15.180201.19986@etl.go.jp> <SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp> <1992Dec21.131940.17213@etl.go.jp> <1992Dec21.235308.9137@etl.go.jp>

Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!sgiblab!nec-gw!nec-tyo!wnoc-tyo-news!sh.wide!wnoc-kyo!kuis!s.u-tokyo!is.s.u-tokyo!dai
From: dai@is.s.u-tokyo.ac.jp (SUZUKI Daisuke)
Subject: Re: Topos (Re: Q in int. math.)
References: <1992Dec15.180201.19986@etl.go.jp> 
    <SATOSHI.92Dec21165513@whale.math.ryukoku.ac.jp> 
    <1992Dec21.131940.17213@etl.go.jp> <1992Dec21.235308.9137@etl.go.jp>
Nntp-Posting-Host: tje11
Message-ID: <1992Dec22.24200.2065@kei.is.s.u-tokyo.ac.jp>
Organization: Department of Information Science, Faculty of Science, the 
    University of Tokyo, Japan.
In-Reply-To: yoshiki@etl.go.jp's message of Mon, 21 Dec 1992 23:53:08 GMT
Sender: news@kei.is.s.u-tokyo.ac.jp (Usenet News System)
Distribution: fj
Date: Tue, 22 Dec 1992 02:41:54 GMT
X-Bytes: 604
Lines: 17