3 ms·
It just means that you have a category where the objects are CPOs instead of sets or types or whatever. It can actually add a whole lot of value to describing t
by tel 12y ago
It just means that you have a category where the objects are CPOs instead of sets or types or whatever. It can actually add a whole lot of value to describing the laziness story.
- gclaramunt 12y agoTrue, I actually was thinking about a Cartesian Closed Category (as explained in https://www.haskell.org/haskellwiki/Hask https://www.haskell.org/haskellwiki/Hask )