On 2/22/12 2:37 AM, Dan Doel wrote:
unless I'm still sketchy on what you mean by domain. I don't think it matters that we're only considering strict homomorphisms.
I think part of the problem is that there are many different ideas of what exact properties a domain has. The one I'm most familiar with are consistently-complete \omega-algebraic cpos, but they're far from the only option.
Also, I may be misremembering my facts about how the domain theory and the category theory fit together. I do recall that domain products break some sorts of desirable properties, but that may be due to something else about them.
-- Live well, ~wren _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
