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

[Yitzchak Gale]

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