IV.D153 — Canonical strong lift

The canonical strong lift Lift_{s,n} is the NFMin-minimal element of HolEnd_tau(s)[n] achieving the same defect value as the strong vacuum; its omega-limit Lift_s = varprojlim Lift_{s,n} is the simplest non-trivial strong-sector endomorphism.