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/ ]