3 ms·
> Types and functions (ignoring non-termination) form a category Even including non-termination they form a category.
by tome 12y ago
> Types and functions (ignoring non-termination) form a category
Even including non-termination they form a category.
- gclaramunt 12y agoTrue, if I recall correctly, having bottom everywhere just complicates things without adding much value.
- tel 12y agoIt 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 )