This is an old revision of the document!
Mapping Fixpoints Under Lattice Morphisms
Definition: Let and be complete lattices. We call a complete join-morphism iff for each set we have \[
F(\sqcup X_1) = \sqcup \{ F(a).\ a \in X_1 \}
\]
For example, (X,\le)(Y,\sqsubseteq)F : X \to X\Gamma : X \to YF^\# : Y \to Yy \in Ylfplfp(F)lfp(F^\#)$.