From: Michael Fourman <Michael.Fourman@ed.ac.uk>
To: Paul Taylor <pt09@PaulTaylor.EU>, <categories@mta.ca>
Subject: Re: A well kept secret
Date: Fri, 11 Dec 2009 06:51:43 +0000 [thread overview]
Message-ID: <E1NJEuQ-0002kW-E6@mailserv.mta.ca> (raw)
In-Reply-To: <E1NItZv-0002gC-WC@mailserv.mta.ca>
On 10 Dec 2009, at 14:49, Paul Taylor wrote:
> In this, I stated without proof that the
> evaluation map Sigma^X x X --> Sigma is continuous (when the
> topology Sigma^X is itself given the Scott topology) iff X is locally
> compact, and in this case Sigma^X is itself locally compact and
> obeys the adjunction Yx(-) -| Sigma^(-). The referee quite
> reasonably asked for a reference to a proof, but, so far as I can
> gather, no such proof exists in the literature.
Not in the compendium?
Professor Michael Fourman FBCS CITP
Informatics Forum
10 Crichton Street
Edinburgh
EH8 9AB
http://homepages.inf.ed.ac.uk/mfourman/
For diary appointments contact :
mdunlop2(at)ed-dot-ac-dot-uk
+44 131 650 2690
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next prev parent reply other threads:[~2009-12-11 6:51 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-11-29 23:31 Dangerous knowledge Joyal, André
2009-11-30 16:51 ` Mike Stay
2009-11-30 23:37 ` Dana Scott
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E2159B5F8@CAHIER.gst.uqam.ca>
2009-12-02 4:03 ` Dangerous times Joyal, André
2009-12-01 1:40 ` Dangerous knowledge Alex Hoffnung
2009-12-01 14:26 ` jim stasheff
2009-12-01 14:30 ` Ronnie Brown
2009-12-01 2:32 ` jim stasheff
2009-12-01 15:13 ` Alex Hoffnung
2009-12-01 16:43 ` Robert Seely
2009-12-02 2:25 ` RE : categories: " Joyal, André
2009-12-02 17:27 ` Ronnie Brown
2009-12-01 3:59 ` Dangerous ignorance Joyal, André
2009-12-01 13:56 ` Dangerous knowledge Charles Wells
2009-12-02 2:16 ` John Baez
2009-12-06 18:46 ` Vaughan Pratt
2009-12-07 2:46 ` Joyal, André
2009-12-07 13:46 ` jim stasheff
2009-12-08 19:15 ` Vaughan Pratt
2009-12-07 14:13 ` A well kept secret Joyal, André
2009-12-08 17:31 ` Steve Vickers
2009-12-09 14:18 ` Charles Wells
2009-12-10 14:49 ` Paul Taylor
2009-12-11 1:44 ` Michael Barr
2009-12-12 0:13 ` jim stasheff
2009-12-13 3:17 ` Wojtowicz, Ralph
2009-12-13 7:01 ` Vaughan Pratt
2009-12-11 1:46 ` Tom Leinster
2009-12-11 6:51 ` Michael Fourman [this message]
2009-12-11 8:36 ` Greg Meredith
2009-12-12 19:00 ` Zinovy Diskin
[not found] ` <e3ef1bd7ee7e9e1e1ecdb201955e18f6@PaulTaylor.EU>
2009-12-10 15:51 ` RE : " Joyal, André
2009-12-13 3:30 ` Zinovy Diskin
2009-12-07 17:18 ` Dangerous knowledge Steve Vickers
2009-12-08 4:09 ` A well kept secret David Spivak
2009-12-12 15:57 ` jim stasheff
2009-12-08 5:23 ` Robert Seely
2009-12-09 16:12 ` Mehrnoosh Sadrzadeh
[not found] ` <7b998a320912090812x60551840r641fe9feb75efaee@mail.gmail.com>
2009-12-09 17:02 ` Robert Seely
2009-12-10 18:03 ` Dangerous_knowledge Joyal, André
2009-12-09 7:40 A well kept secret? Ronnie Brown
2009-12-14 18:41 ` Andrew Stacey
2009-12-15 20:14 ` A well kept secret Joyal, André
2009-12-13 21:46 categorical "varieties of algebras" (fwd) Michael Barr
2009-12-14 19:52 ` A well kept secret Dusko Pavlovic
2009-12-16 17:17 F William Lawvere
2009-12-22 16:39 Andree Ehresmann
2009-12-23 15:30 ` Andrew Stacey
2009-12-28 10:07 ` Reinhard Boerger
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=E1NJEuQ-0002kW-E6@mailserv.mta.ca \
--to=michael.fourman@ed.ac.uk \
--cc=categories@mta.ca \
--cc=pt09@PaulTaylor.EU \
/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).