IV.P87 — Properties of the canonical strong lift

The canonical strong lift exists for all n >= 3, is unique (after NF tie-breaking), satisfies truncation coherence Lift_{s,n+1}|_n = Lift_{s,n}, and is computable from the boundary holonomy algebra data.