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

Yitzchak Gale gale at sefer.org
Thu Jan 3 03:33:14 EST 2008

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.


>  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".


More information about the Haskell-Cafe mailing list