Obstrucción al Levantamiento

Un invariante, clase de cohomología o condición que mide el fallo para producir un levantamiento de una estructura, elemento o morfismo dados a lo largo de una sobreyección o proyección especificada; se anula exactamente cuando existe un levantamiento global compatible con los datos prescritos.