From: wlawvere@buffalo.edu
To: categories@mta.ca
Subject: Re: Lawvere's Measures on toposes
Date: Wed, 06 Jun 2007 10:32:55 -0400 [thread overview]
Message-ID: <E1HvzIp-0000pz-4h@mailserv.mta.ca> (raw)
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
>
>
>
>
>
next reply other threads:[~2007-06-06 14:32 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-06-06 14:32 wlawvere [this message]
-- strict thread matches above, loose matches on Subject: below --
2007-06-05 20:09 B.Spitters
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1HvzIp-0000pz-4h@mailserv.mta.ca \
--to=wlawvere@buffalo.edu \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).