Lifting Obstruction

- Mathematics & Logic -
Pure Mathematics Dictionary
An invariant, cohomology class, or condition that measures the failure to produce a lift of a given structure, element, or morphism along a specified surjection or projection; it vanishes precisely when a global lift exists compatible with the prescribed data.