Paul Taylor wrote:
This is to invite your comments on
Sober Spaces and Continuations
Paul Taylor
Dear Paul, thanks for your interesting article. I would like to point out that three relevant papers are missing from the references: [1] Fuehrmann, C. Direct-style and comtinuation-passing style models of control. See http://www.cs.bham.ac.uk/~cxf/research.htm. (1999). [2] Fuehrmann, C. Direct models of the computational lambda-calculus. In Proceedings of MFPS 15, ENTCS 20 (1999). [3] Selinger, P. Control categories and duality. MSCS 11:207-260 (2001). Many or all of your general categorical results (sections 3-4 and 6-7) appear in these papers. For instance, your notion of an object being "sober" (Def. 4.6) coincides with what Fuehrmann calls "satisfying Moggi's equalizing requirement", with associated theorems. I like the word "sober", because it is elegant and suggestive in this context, but Fuehrmann still deserves credit for the concept and the theorem. I liked the sections in which you apply these categorical methods to the category of locally compact topological spaces; it is interesting to see how the categorical concepts can be characterized in the concrete case. -- Peter