[Haskell-cafe] Basic question concerning the category Hask (was:
concerning data constructors)
gale at sefer.org
Thu Jan 3 03:33:14 EST 2008
>> 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.
> (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
I'm not convinced that the category is all that "messed up".
More information about the Haskell-Cafe