From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3782 Path: news.gmane.org!not-for-mail From: wlawvere@buffalo.edu Newsgroups: gmane.science.mathematics.categories Subject: Re: Lawvere's Measures on toposes Date: Wed, 06 Jun 2007 10:32:55 -0400 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1241019518 10265 80.91.229.2 (29 Apr 2009 15:38:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:38 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Jun 6 14:36:38 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 06 Jun 2007 14:36:38 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HvzIp-0000pz-4h for categories-list@mta.ca; Wed, 06 Jun 2007 14:28:11 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 7 Original-Lines: 51 Xref: news.gmane.org gmane.science.mathematics.categories:3782 Archived-At: Dear Bas Spitters The first application of this notion of distribution to be carried out in detail is to singular coverings in the sense of Fox ("spreads"). This application and the necessary basics are well described in Singular Coverings of Toposes Series: Lecture Notes in Mathematics , Vol. 1890 Bunge, M., Funk, J. 2006, XII, 225 p Projected applications to model theory have not yet been carried out to my knowledge. Note that this notion of distribution is "on" a topos and is rather canonical. Distribution theory "in" a cohesive topos is needed for continuum physics and is hoped to enjoy certain simplications relative to traditional treatments based on contravariant descriptions of cohesion, because of the unique existence of map spaces. Sincerely F William Lawvere Quoting B.Spitters@cs.ru.nl: > Lawvere's lecture: `Measures on toposes' was warmly recommended to > me. > > [LAWVERE, F. W., Measures on toposes, Lectures given at the Workshop > on > Category Theoretic Methods in Geometry, Aarhus, 1983] > > However, I seem to be unable to find any written account of it. Any > links > or pointers about its contents would be very welcome. > > Bas Spitters > > > > >