Definition. The category \mathbf {Cpo_\bot } [dt-003I]

The category \mathbf {Cpo_\bot } is the category where the objects are cpos, the morphisms are strict continuous functions between these cpos, and composition and identity are as in \mathbf {Cpo}.