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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
