Re: [Haskell-cafe] Basic question concerning the category Hask (was: concerning data constructors)

Hi Jonathan, I wrote:

...

So in what way are Set morphisms restricted from being Hask morphisms?

Jonathan Cast wrote:

The normal view taken by Haskellers is that the denotations of Haskell types are CPPOs.

CPPO?

So:

(1) Must be monotone (2) Must be continuous

Could you please define what you mean by those terms in this context?

(Needn't be strict, even though that messes up the resulting category substantially).

I'm not convinced that the category is all that "messed up". Thanks, Yitz