Definition. $\omega$ -chains of cpos in the category $\mathbf {Cpo}^\textbf {R}$ [dt-005C]

Liam O'Connor

An $\omega$ -chain of cpos in the category $\mathbf {Cpo}^\textbf {R}$ consists of a family of cpos $\{D_i \mid i \in \mathbb {N} \}$ , together with a family of retraction pairs $D_i \xtofrom [g_i]{f_i} D_{i+1}$ , shown below: