The Category of Cpos From a Synthetic Viewpoint

Abstract

We provide an internal characterization of the category ω-Cpo of ω-complete posets and ω-continuous functions within the model ℋ of SDT recently introduced by the authors. It follows that ω-cpos lie between the two extreme synthetic notions of domain given by repleteness and well-completeness.