Embedding-projection pair ($pe=\mathrm{id},ep\le \mathrm{id}$)

For Scott continuous maps $e:D\to E$, $p:E\to D$, these two identities say that $D$ is embedded in $E$ and that projection followed by embedding approximates from below. Such pairs lift to endomorphism spaces by $f\mapsto efp$ and $g\mapsto pge$. Their composite on the smaller space is the identity, and the other composite is $g\mapsto (ep)g(ep)\le g$.

For $D_{n+1}=[D_n\to D_n]$ with recursively lifted embedding-projection pairs, form coherent sequences $x_n=p_n{x}_{n+1}$, ordered componentwise. Stage projections $P_n$ and embeddings $E_n$ satisfy $P_n{E}_n=\mathrm{id}$, $E_n{P}_n\uparrow \mathrm{id}$. A coherent family $f_n\in [D_n\to D_n]$ induces $f={\sup }_n{E}_n{f}_n{P}_n$; conversely $f_n=P_{n}f{E}_n$. These constructions are inverse. Removing the initial coordinate of the coherent sequence identifies this function-space limit with the original domain limit.