Dcpos and convergence spaces II: preserving products

Let us continue last month’s story.  We had define various structures of convergence spaces on a dcpo, which were all admissible in the sense that their topological modification is the Scott topology.  We shall see that equipping dcpos with their Heckmann, or with their Scott convergence structures, defines a product-preserving functor from Dcpo to Conv.  The result is due to Reinhold Heckmann, and contrasts with the fact that the similar functor from Dcpo to Top does not preserve products—a very nasty source of mistakes.  Read the full post.