A category of compositional domain-models for separable Stone spaces

@article{Alessi2003ACO,
  title={A category of compositional domain-models for separable Stone spaces},
  author={Fabio Alessi and Paolo Baldan and Furio Honsell},
  journal={Theor. Comput. Sci.},
  year={2003},
  volume={290},
  pages={599-635}
}
In this paper we introduce SFPM , a category ofSFPdomains which provides very satisfactorydomain-models , i.e. “partializations”, of separable Stone spaces ( 2-Stone spaces ). More specifically,SFPM is a subcategory of SFPep, closed under direct limits as well as many constructors, such as lifting, sum, product and Plotki n powerdomain.SFPM is “structurally well behaved”, in the sense that the functor MAX, which associates to each object of SFPM the Stone space of its maximal elements, is… CONTINUE READING