From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1567
Path: news.gmane.org!not-for-mail
From: "Julio Pereira Machado"<juliopm@portoweb.com.br>
Newsgroups: gmane.science.mathematics.categories
Subject: request info on Topos
Date: Wed, 12 Jul 2000 11:22:02 -300
Message-ID: <396c7f0a.16f.0@portoweb.com.br>
Reply-To: juliopm@portoweb.com.br
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-Trace: ger.gmane.org 1241017929 31847 80.91.229.2 (29 Apr 2009 15:12:09 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:12:09 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Thu Jul 13 09:54:17 2000 -0300
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.9.3/8.9.3) id JAA07546
	for categories-list; Thu, 13 Jul 2000 09:49:14 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
X-Mailer: DMailWeb Web to Mail Gateway 2.2s, http://netwinsite.com/top_mail.htm
X-User-Info: 143.54.7.154
X-MIME-Autoconverted: from quoted-printable to 8bit by mailserv.mta.ca id LAA12939
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 9
Original-Lines: 13
Xref: news.gmane.org gmane.science.mathematics.categories:1567
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1567>

Hello,

I´m beginning a MSc course on Computer Science. I started working with
categories (specially topos)and coherence spaces and I´m looking for some
papers and basic references on this subject. I´d be glad if you could help
me. The main goal of my work is to define the categories (or
subcategories) of STAB (coherence spaces and stable functions) and LIN
(coherence spaces and linear functions) as Topos.

Any suggestions are welcome.
Thanks in advance,
Simone Costa.