From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/277
Path: news.gmane.org!not-for-mail
From: categories <cat-dist@mta.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: RE: question on finiteness in toposes
Date: Mon, 13 Jan 1997 10:26:43 -0400 (AST)
Message-ID: <Pine.OSF.3.90.970113102635.14144B-100000@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241016865 25004 80.91.229.2 (29 Apr 2009 14:54:25 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:25 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: cat-dist Mon Jan 13 10:27:32 1997
Original-Received: by mailserv.mta.ca; id AA13683; Mon, 13 Jan 1997 10:26:44 -0400
Original-Lines: 16
Xref: news.gmane.org gmane.science.mathematics.categories:277
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/277>

Date: Sun, 12 Jan 1997 16:53:57 -0500 (EST)
From: F William Lawvere <wlawvere@ACSU.Buffalo.EDU>


Now that the question of finiteness as been reactivated here,
may I bring up again the following question  ?
 
What concept of finiteness is appropriate for those important
mathematical applications in topology for which K/S doesn't
seem right ? (For example the equalizer closure of K/S or...??)
Especially, a suitably "finite" module should be a vector bundle
or a FAC in the sense of Serre so that our simplified topos theory
could apply more directly to those things it should.
Bill L